MK
вкорячивание неалгебраических эффектов в фримонадные штуки — несколько нетривиальная задача, я видел на эту тему пейперы
Size: a a a
2020 July 14
IK
ну а если серьезно, то там легче менять порядок хендлеров, легче подсовывать новые интерпретаторы, скорее всего легче интроспекцию делать
почему? так же порядок зависит только от того, в каком порядке ты монады будешь разворачивать
IK
вкорячивание неалгебраических эффектов в фримонадные штуки — несколько нетривиальная задача, я видел на эту тему пейперы
ну я сейчас не про смешивание
MK
а, ещё n*m instances problem нет
IK
а, ещё n*m instances problem нет
вот это единственно существенное что я увидел
MK
потому что протащить алгебраический эффект через любой другой можно абстрактно, а вот протащить трансформер через любой другой нет
АГ
Если честно, я не понимаю, что такое алгебраические и неалгебраические эффекты, зачем нужно это деление и как оно влияет на разработку.
MK
ну сходи пейпер почитай
АГ
Не особо интересно
IK
Если честно, я не понимаю, что такое алгебраические и неалгебраические эффекты, зачем нужно это деление и как оно влияет на разработку.
я тоже не понимаю
Но когда я говорю "алгебраические эффекты", я думаю про фримонадные конструкции типо fused-effects и freer
Но когда я говорю "алгебраические эффекты", я думаю про фримонадные конструкции типо fused-effects и freer
АГ
А я стараюсь вообще избегать этого новояза. Есть подсистемы, и этого достаточно
IK
А я стараюсь вообще избегать этого новояза. Есть подсистемы, и этого достаточно
Не вижу как "подсистема" здесь может что-то заменить 🙂
IK
потому что протащить алгебраический эффект через любой другой можно абстрактно, а вот протащить трансформер через любой другой нет
Ну т е получается, самая большая плюшка -- что они в общем случае композириуемы, в отличии от трансформеров?
MK
Не особо интересно
если у тебя эффект с двумя аргументами, op x1 x2, то он алгебраический если
op x1 x2 >>= k эквивалентно op (x1 >>= k) (x2 >>= k)
op x1 x2 >>= k эквивалентно op (x1 >>= k) (x2 >>= k)
MK
распиши для разминки ума это для
catchMK
вот для алгебраических теория (и реализация) легко строится, а для неалгебраических нет
MK
вот и всё