MK
Ну да
Size: a a a
2021 February 02
YS
ну, там есть принципиальные отличия, кмк
AΛ
А компиляция и производительность думаю тут не аргумент
AΛ
Может я не прав
YS
интерпретаторы всё же про фримонады
YS
фт же про перегруженные функции?
YS
которые куда надо подставятся
Oℕ
и про тэглесс файнал
MK
фт же про перегруженные функции?
Интерпретатор для фм = инстансы для фт
MK
Привет Олег
Oℕ
Привет Олег
как дела
YS
Интерпретатор для фм = инстансы для фт
ну да, но для фм явно интерпретаторы) типа вот вам вход - интерпретируй
Oℕ
Тогда стоит говорить про инишиал представление языка и тэглесс файнал кодировку
Oℕ
А не конкретно про фримонады
YS
конкретно про фримонады это не правда? .-.
MK
Файнал это вообще инишиал, с точки зрения теорката
Коалгебр терминальных там нет
Коалгебр терминальных там нет
Oℕ
Ну ещё раз может быть фримонада в тэглес файнал форме или кодировке чёрча
Oℕ
Во фримонаде тоже не совсем явно
YS
Я про то, что там есть явный интерпретатор
Oℕ
Так он везде явный