[
типа работать с любым количеством однотипных эффектов? Или как?
Погугли free monad.
Free позвляет сделать монаду из функтора, грубо говоря.
Size: a a a
2021 June 04
ЖК
[
а, я понял.
проблема функтора в том, что когда ты юзаешь его на стрелку клейсли, то у тебя на выходе будет
А как эти слои раскрывать потом?..
проблема функтора в том, что когда ты юзаешь его на стрелку клейсли, то у тебя на выходе будет
f (f a). Фримонада позволяет работать с любым количеством слоёв как будто тебя один слой, но при этом каждый новый бинд будет добавлять слой :DА как эти слои раскрывать потом?..
ЖК
Надо писать интерпретатор 😁
Для одной и той же фри монады, можно написать несколько разных интерпретаторов, что здорово.
Т.е. программа отделена от интерпретации.
Для одной и той же фри монады, можно написать несколько разных интерпретаторов, что здорово.
Т.е. программа отделена от интерпретации.
[
типа писать рекурсивный анврапер для конкретного f?
ЖК
Ага
2021 June 05
