да я в них не разбираюсь особо, это слава по ним специалист

вот читаю я
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell/blob/7472b5c1a073366d87153dd3976873687422c8b1/README.md

и вроде все просто (хотя и перемудрено) свободная монада в свободной монаде (но вообще надо как-то делать ветвление на базовых функторах и уже юзать что-то сложнее свободной монады)

но вот теперь вопрос, а что будет когда структуры взаимнорекурсивные? подход обкакается?

@graninas mtl-style можно использовать ровно в той же манере, что и hfm, только кода в два раза меньше: https://gist.github.com/effectfully/33b099ed88a3eefb67029624965228f8

пока что единственное, что я вижу лучше в hfm, это то, что интерпретатор для сразу всего синтаксиса определяется в одном месте, можно всякий стейт пробрасывать или еще какие-то общие эффекты делать. С mtl это чуть сложнее, но я не припомню таких юзкейсов на моей памяти энивей. И если че от финального mtl можно уйти к инициальному hfm (что верно и в обратную сторону, очевидно)

и если хотите, чтобы на ваши посты как-то вещественно отвечали, выкладывайте код отдельным файлом, я замучался по кускам собирать. И там еще ошибка в

logInfo :: Message -> App ()
logInfo msg = evalLogger (logMessage Info msg) id

и зачем инстансы Functor руками писать? Они unique up to isomorphism, и GHC все правильно задерайвит

Всех с праздником!

Взаимно рекурсивные языки тоже можно сделать. Держать придется в одном модуле, как и интерпретаторы. Других ограничений нет. Но я бы воздержался, юз кейс неясен.

Саморекурсивные языки - тоже не проблема, и даже можно применить для очень интересных вещей

В моих простых примерах инстансы функтора можно задерайвить. А вот в самом фреймворке уже более сложные языки, где я пробрасываю разную доп инфу

Вау, такое существует?

51к ежемесячный платёж? Некисло

С 2.5 миллионами на руках это не так уж и много

Зато смогу поехать учиться за границей не в 30 лет

Чот как-то 2.5M это не много, чтобы у нас на платном учиться

У тебя ж вроде деньги только на доширак были?

Ну, теперь у меня чуточку побольше денег

Но кредит на 5 лет, а обучение будет 2 года

Ещё и япония 🙂