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

не нужно обобщать последний аргумент, Tell возвращает (), значит возвращает ()

красиво, не сильно полезно, чуть более тайпсейф

пора спать ложиться

кстати, как я сказал, FFree больше не требует даже функторности, то есть мы берем State s и забываем ВОООБЩЕ все кроме команд и раннера

ну, runState выполняет часть бинда, конечно, хендлит эффект

FFree f is more satisfying since it abstracts more of the common pattern of accumulating continuation, compared to Free. It is more general, not imposing any constraints on f – it is “freer”. Continuing our example of State s from the end of §2.3, we can now forget not only return and bind but also the fmap operation, and still recover the state monad through FFree (State s) construction. We no longer have to bother defining the basic monad and functor operations in the first place: We now get not only the Monad instance but also the Functor and Applicative instances for free.

Так все верно. Его можно рассматривать как функтор F с доменом над дискретной категорией |C| и внедряющим функтором J :: |c| -> c. Lan_J F a = ∫^i C(J i, a) × F i

Ты так же и правое можешь использовать а-ля Ran_J F a = ∫^i C(a, J i) × F i

Привет всем, может быть кто-то писал тест для select ? Как меняли значение select ? У меня не срабатывает https://gist.github.com/unfalse/c20b3dc396bde5a1473f242ec337b7d8

Фри монада - докостыливает (return, »=) Фриер - докостыливает даже fmap

@kana_sama ^

Так все верно. Его можно рассматривать как функтор F с доменом над дискретной категорией |C| и внедряющим функтором J :: |c| -> c. Lan_J F a = ∫^i C(J i, a) × F i

тут уже пошли в ход левое и правое рассширение Кана)

а какое у функциональщиков есть решение для вариадик полиморфизма?

например сделать имплементацию функции для туплов всех размеров

а какое у функциональщиков есть решение для вариадик полиморфизма?

n-arity?

ага

ну у того же Киселева можно почитать http://okmij.org/ftp/Haskell/polyvariadic.html#polyvar-fn

с одной стороны выигрыш конечно такой себе, функтор тривиально генерируется для любого типа, где последний аргумент типа в ковариативной позиции

не тривиально) со стрелочными типами уже не задерайвить и прийдется или явно описывать или как-то юзать StandaloneDeriving

а вообще Kan extensions это такая крайняя штука из которой может быть построено все https://bartoszmilewski.com/2017/04/17/kan-extensions/

а какое у функциональщиков есть решение для вариадик полиморфизма?

lawvere modules

lawvere modules

ты сразу ссылки на пейпер давай) договорились же тут пейперами общаться)

лол

не гуглится

ой, не заметил

не качайте fleksy, ужасная клавиатура

зачем нужно что-то кроме гугловской?

ты сразу ссылки на пейпер давай) договорились же тут пейперами общаться)

tac.mta.ca/tac/reprints/articles/5/tr5.pdf

не качайте fleksy, ужасная клавиатура

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

зачем нужно что-то кроме гугловской?

@systemspace

дело вкуса, мне удобно

зачем нужно что-то кроме гугловской?

SwiftKey топ

как у него с подсказками?

Все хорошо

не тривиально) со стрелочными типами уже не задерайвить и прийдется или явно описывать или как-то юзать StandaloneDeriving

простые кейсы замечательно выводятся

ну прочитал с большего пейпер по freer, freer это тот же EF, только с оптимизациями и заменой Free на FFree (который не требует функториальности)

юнион больше не требует typeable, свой костыль на числах + coerce сделали (число в значении юниона - индекс типа в массиве типов)

+ оптимизация построения Cont через деревья какие-то, я эту часть пока пропустил, завтра займусь

https://gist.github.com/kana-sama/353e3585536c085271c1b3c7657b0b6f - вот моя реализация без оптимизаций Cont

делать эффекты стало НАМНОГО проще (по сравнению с обычными монадами и даже с EF)

где половина - бойлерплейт для команд

ну пример будет выглядеть точно так же и на mtl

поэтому тут самое важное это вот это - сколько нужно писать кода для добавление эффекта

и как видно, очень мало

легко добавлять свои dsl-ки, легко оборачивать старые монады в эффекты

ну все, пожалуй, теперь пойду ебать с html и jquery

жаль не могу оценить насколько хуже было в прошлых эффектах

алсо забавно пару раз по привычке ++

@kana_sama твое решение пришло к той канонической форме, что и все что были раньше написаны)

ну так да, писал же по пейперу, просто убрал оттуда куча оптимизационного хлама

у меня ничего нового получится тут не могло)

еееее

я могу js+jquery на PureScript переписать

ERROR: S client not available

это бесполезно наверное

поэтому я не буду

такое себе удовольствие

ну так да, писал же по пейперу, просто убрал оттуда куча оптимизационного хлама

хотя в том же effin немного не так) там магия Known и прочего) https://github.com/YellPika/effin/blob/master/src/Data/Type/Row.hs

хм

почитаю вечером

это бесполезно наверное

когда Фриман переписывал trypurescript он там все показал как с jquery и все такое в пурсе) https://www.youtube.com/watch?v=UaXxnWfStbY&list=PLclm7plyXncbmJu-VO2wZkQ30vBE0gHVS

5 частей

но для работы возьму наверное freer, он удобнее всего

я потыкал 5 штук

и какой результат?

мне чот effin больше понравился

я просто на эти самодельные массивы смотреть не могу, есть же '[]

ну тогда freer

https://hackage.haskell.org/package/extensible-effects https://hackage.haskell.org/package/freer-effects https://hackage.haskell.org/package/freer

Effin давно уже не обновлялся

это в future work

в чем разница между freer и freer-effects?

надо искать то, что живое)

хоть немного

EF живой, как ни странно

EF?

extensible-effects

в ноябре обновлялся

остальные нет

но freer все же самый популярный по скачиваниям

не обновляется значит всё сделано

хм, extensible-effects не такой как в пейпере, он почти как freer

ну так да, он и использует FFree вместо Free+Cont