YS
т.е. в случае фт это сделает инстанс резолюшн
Size: a a a
2021 February 02
YS
в случае фм - человек сам напишет интепретатор
Oℕ
их подставит интерпретатор, а перед тем как поставит - будет сформирован "код на внутреннем языке"
вы интерпретатором что называете? Я называю как раз вот эти инстансы Monad r, Bar r, Baz r, либо Bar ~> r, Baz ~> r
YS
вы интерпретатором что называете? Я называю как раз вот эти инстансы Monad r, Bar r, Baz r, либо Bar ~> r, Baz ~> r
Условно "функцию, которой скормят код"
YS
И она уже что-то делать будет
Oℕ
в случае фм - человек сам напишет интепретатор
нет человек пишет интерпретатор одинаковое количество раз в обоих случаях
YS
"Интерпретировать"
YS
нет человек пишет интерпретатор одинаковое количество раз в обоих случаях
В одном случае он пишет словарики
Oℕ
Условно "функцию, которой скормят код"
Ну тогда в случае тф таким интерпретатором будет полиморфизм и поиск инстансов, его тем более писать не нужно
YS
Ну вот)
YS
Вопрос свелся к тому, что считать интерпретатором
YS
(лично я его не считал)
Oℕ
Но опять же не обязательно, чтобы это тайпклассы были
YS
В общем, я к чему - под "написанием интерпретатора" я понимал именно "написать самому то, что потому обработает что-то на внутреннем языке твоем"
YS
и как бы фт тут не сильно подходит
YS
а вот фм - подходит
YS
может я конечно докапываюсь (или вообще говорю глупость)
Oℕ
В общем, я к чему - под "написанием интерпретатора" я понимал именно "написать самому то, что потому обработает что-то на внутреннем языке твоем"
data Foo :: Type -> Type where ...
fooState :: MonadState m (Map Int Int) => Foo ~> m
instance MonadState My (Map Int Int)
fold :: Monad m =>(f ~> m ) -> Free f ~> m
что из вышеперечисленного вы называете интерпретатором
Free Foo в My?
YS
для начала - там волнистая стрелка?
Oℕ
где там? там есть и такие и сякие стрелки