YS
Лично я просто раздею проброс функуий из словарика из интепретирования фримонады
Size: a a a
2021 February 02
YS
Иначе с такими взглядами и у хендл паттерна тоже интерпретатор есть
MK
Есть :)
YS
-.-
MK
То место где ты подставил настоящий словарик
YS
это видимо к вопросу "как понимать интерпретатор"
Oℕ
Интерпретация - это производство какого-то значения из выражений на каком-то языке
YS
Во фримонаде очень ясно где язык и кто производит значение
Oℕ
"Интерпретация" фримонады не настолько явная, как утверждается, вы должны ей предоставить инстанс монады для результирующего тайпклнструктора и часть языковых элементов "pure + bind", вы явно не интерпретируете, их интерпретация автоматически происходит
Oℕ
Так что я бы сказал, что тэглесс файнал/чёрч более явная, там по крайней мере все составные части интерпретации из одного места приходят
YS
Ну, оке - ясно с точностью до монадического связывания
MK
Так что я бы сказал, что тэглесс файнал/чёрч более явная, там по крайней мере все составные части интерпретации из одного места приходят
В фт ты тоже бинд не сам обрабатываешь
Oℕ
А "интерпретация" как использование сопряжения - так себе
Oℕ
В фт ты тоже бинд не сам обрабатываешь
В тэглесс файнал вообще не обязательно монады, но если монада, инстанс монады для конечного типа я обязан предоставить наравне с остальными
MK
В тэглесс файнал вообще не обязательно монады, но если монада, инстанс монады для конечного типа я обязан предоставить наравне с остальными
Не обязательна, да
YS
Тут согласен с Олегом
MK
Но если она есть, то обычно инстанс там от ридера или ио
YS
Но это кмк мелочь
MK
Который ты не сам писал
YS
Т.е. да соглашусь, что во фримонаде неявно подразумевается инстанс монады