YS
А в фт формально ты должен все констрейнты перечислить
Size: a a a
2021 February 02
YS
Но это, кмк, не меняет того факта, что фт (с точки зрения хаскеля) - просто проброс функций, которые разрешаются на уровне инстанс резолюшены
YS
Вместо честного создания фримонадического значения, которое потом скормится интерпретатору
MK
Вместо честного создания фримонадического значения, которое потом скормится интерпретатору
И будет адски тормозить
YS
Это другой вопрос!)
YS
Мой посыл - не всё упирается в написание интерпретаторов
MK
А с фьюзд эффектс например будет другое
YS
Мой посыл - не всё упирается в написание интерпретаторов
что-то упирается в написание словариков*
YS
(я могу быть неправ)
Oℕ
Ну т.е. вот есть функция
в тэглесс файнал форме
во фримонадной форме
далее интерпретация
в первом случае - это предоставление (Monad r, Bar r, Baz r), это явно написано в сигнатуре
во втором - это предоставление
Monad r,
Bar ~> r,
Baz ~> r
это ещё нужно вычислить из сигнатуры
foo :: (Baz + Quux )Foo
в тэглесс файнал форме
foo :: forall f. (Monad f, Bar f, Baz f) => f Foo
во фримонадной форме
foo :: forall f. (Inject Bar f, Inject Baz f) => Free f Foo
далее интерпретация
в первом случае - это предоставление (Monad r, Bar r, Baz r), это явно написано в сигнатуре
во втором - это предоставление
Monad r,
Bar ~> r,
Baz ~> r
это ещё нужно вычислить из сигнатуры
Oℕ
в каком это смысле фримонадная более явная
YS
Более явная в том смысле, что там есть четко место интерпретации языка
Oℕ
Более явная в том смысле, что там есть четко место интерпретации языка
ну вот в тэглес файнал я вижу это место, это место всех констрейтов на f, а где это место для фримонад?
YS
Интерпретации в том смысел, что "кому-то" подается "код на каком-то языке" и потом "что-то из него производится"
Oℕ
Интерпретации в том смысел, что "кому-то" подается "код на каком-то языке" и потом "что-то из него производится"
ну да, это во всех случаях так
AΛ
Есть ли еще какая-то разница кроме метода интерпретации и стексейвти в случае фри монад?
YS
ну да, это во всех случаях так
там в случае фт на место вызова просто подставятся функции, нет?
YS
можно ли это считать интерпретацией?
Oℕ
там в случае фт на место вызова просто подставятся функции, нет?
и в случае фримонад тоже подставятся функции в определённые места
YS
и в случае фримонад тоже подставятся функции в определённые места
их подставит интерпретатор, а перед тем как поставит - будет сформирован "код на внутреннем языке"