?

От маскировки под серверный ресурс больше вреда чем пользы.

У них даже роутер из принципа — hash

Типа вертели мы ваш history, мы на бэкенде самые умные

ой вей

а какой вред?

Спасибо подписался

а какой вред?

вред бэкэндеру

бекендеру проще только же

Спасибо подписался

Да канал совсем новый

Да канал совсем новый

Жаль

От маскировки под серверный ресурс больше вреда чем пользы.

Ты не понял, они в обычном сайте принципиально юзают навигацию только с хэшем, с мотивацией типа "мы ваш жс в рот бомбили поэтому так"

A couple notes upfront: This library facilitates hash-based routing. If you're looking to do pushstate routing with the history object, then you are in the wrong place nuff said

https://github.com/slamdata/purescript-routing/blob/master/GUIDE.md

Там в первом issue подробнее

а какой вред?

https://github.com/eigenmethod/mol/issues/301

> Synchronization of server-side and client-side routing required

> Synchronization of server-side and client-side routing required

Для поисковиков.

Впрочем, его в обоих случаях нужно реализовывать тогда, так что этот пункт можно удалить.

Для поисковиков.

А вы про server-side-rendering не в курсе, видимо, да?

А вы про server-side-rendering не в курсе, видимо, да?

А вы гетерогенные системы не видели?

о них и речь?

Банальный пример - публикация на github.io.

мне в принципе понравился халоген, хоть он не такой простой, как реакт, в него ввели еще несколько сущностей типа инпута (не пропсы), аутпута, еще всякой хрени

блин, а ведь то что в эффектах все функции представлены конструкторами для конкретного эффекта наверное ещё какие-то профиты может давать

ну это тупо представление эффектфул-кода в виде данных

представляем a <- getA if a < 0 then doB a else doC pure () в виде GetA (\a -> (if a < 0 then DoB a else DoC) (Pure ()))) а потом пишем кучу таких дслек и выносим общий код и связывание команд Free (GetA (\a -> Free ((if a < 0 then DoB a else DoC) (Pure ()))))) и это то же самое, как по сути дсл-ки через генераторы (саги например): { cmd: getA, args: [], next: a => a < 0 ? { cmd: doB, args: [a] } : { cmd: doC, args: [] } }

потом еще мы можем этот код оптимизировать в рантайме, это же данные, видел посты про оптимизацию кода на фримонадах, где мы скажем setX 1 >> setX 2 в setX 2 сворачиваем

ну збс такое на ровном дыхании выдать

ну то есть я не могу нормально (с юзкейзами) зачастую писать о том с чем знаком

правда не понимаю прикола удалять свои сообщения

я удалил свое потому что там не очень удобная структура получилась)

уже у трёх человек в этом чате видел такую фишку. и даже не переформулируют сообщения. просто напрочь удаляют

ну я тоже сегодня удалил сообщение

хотел вписаться в тусу

а, первый пример кода выше будет иметь такой тип data Something a = GetA (Int -> Something a) | DoB Int (Something a) | DoC (Something a) | Pure a во втором мы Pure выносим во Free (или Eff в freer)

научился контрить

лол как

форвард к себе

то есть ты заранее сфорвардил?

да

ты все сообщения форвардишь?)

не) но это было бы люто. ещё бота написать на tg-cli

ковбой

я как-то так привык к реализации на фрях, что попробовал без фри и не получается написать бинд

бинд = реализацию бинда? но где .... хз наверное надо привыкнуть к фри

бинд = реализацию бинда? но где .... хз наверное надо привыкнуть к фри

там в самом первом примере тип код в do-нотации, для нее нужна реализация Monad

а

представляем a <- getA if a < 0 then doB a else doC pure () в виде GetA (\a -> (if a < 0 then DoB a else DoC) (Pure ()))) а потом пишем кучу таких дслек и выносим общий код и связывание команд Free (GetA (\a -> Free ((if a < 0 then DoB a else DoC) (Pure ()))))) и это то же самое, как по сути дсл-ки через генераторы (саги например): { cmd: getA, args: [], next: a => a < 0 ? { cmd: doB, args: [a] } : { cmd: doC, args: [] } }

Блин, вот из-за этого всё пытаюсь осилить их имплементацию самостоятельно) Реально же очень мощные возможности

эффектов или фрей? Я там чисто про фри-монады

Я тоже

я дзен эффектов пока не познал

Сейм щит

По сути Free — это возможность использовать в монадическом констексте структуры произвольной кривости

вижу как просто решение ада трансформеров

Что даёт некислый набор бонусов при любых начальных условиях

но сам Free есть в либе и он позволяет генерировать через TH весь бойлерплейт на 41-48

ERROR: S client not available

для freer я такого не нашел (но там и устроено все немного иначе)

мне уже второй день не понятно, почему во freer asks ридера имеет другой тип эффекта, нежели ask

то есть типа мы можем вызывать asks только если у нас ровно один эффект - Reader

Ровно секунду назад закрыл проект с ридером, чёт местами невыносимо прям

Ровно секунду назад закрыл проект с ридером, чёт местами невыносимо прям

почему?

у нас был новый проект, там новый код выглядел как-то так main = runSlack $ router a b router a b = f $ \case A -> handle1 a b B -> handle2 a b handle1 a b = f a b <<++>> g a b — (случайный оператор) handle2 a b = h a b

и короче этот a b передавался из функции в функцию

почему?

Не вывез

А, я кажется просто забыл поспать

я сделал чет вроде data Env = { _envA, _envB } type Bot = ReaderT Env (SlackT … IO) runBot :: A -> B -> Bot a -> IO a runBot a b = runSlack . runReaderT (Env a b) main = runBot a b router :: Bot () handle1 :: Bot () handle1 = do name <- view $ a.config.someName sendMessage name и жизнь стала проще

а потом просто этот Bot стал содержать 5 трансформеров

и их еще добавится

и я стал думать о расширяемых эффектах

или просто о фримонадах, это позволит упросить бизнес-логику, но интерпретатор будет такой же сложный и не тестируемый, то есть мало что поменяется кроме простоты логики

а потом просто этот Bot стал содержать 5 трансформеров

да ты же там работаешь неделю вроде

уже две, мы код пишем быстро)

да на самом деле только один Persistent (орма) - это +3 трансформера

а потом короче у них какие-то проблемы с сайтом, я в прошлом был фронтом, и короче я теперь снова с html вожусь, больше некому

да на самом деле только один Persistent (орма) - это +3 трансформера

джаву напоминает

форкнусь в haskell learn пожалуй (мб давно пора)

а потом короче у них какие-то проблемы с сайтом, я в прошлом был фронтом, и короче я теперь снова с html вожусь, больше некому

мда, такие умные

а не могут хтмл осилить

типичные хачкеллисты

мб тут мем не поймут, поэтому я его в фв кинул

мб тут мем не поймут, поэтому я его в фв кинул

Тут половина фронтендеров все равно

рекурсивные схемы выглядят для меня так бесполезно, но с ними так прикольно играться (даже с базовыми типа списки какие и операции над ними). Решение выглядит тупо красиво

рекурсивные схемы выглядят для меня так бесполезно, но с ними так прикольно играться (даже с базовыми типа списки какие и операции над ними). Решение выглядит тупо красиво

На самом деле, у меня о многом в фп такое же мнение Может, я ещё не прошаренный, но как-то так вот

начал пилить свои расширяемые эффекты, самое начало - имплементация монадических корутин