Size: a a a

2021 June 27

X

XÆA-XII in Haskell
У меня как раз заведомо так пишется
источник

KV

Kirill Valyavin in Haskell
Ну тогда делайте фримонаду, какие вопросы
источник

JS

Jerzy Syrowiecki in Haskell
фримонаду из AST делать, наверно, не стоит, а Fix + рекурсивные схемы — дают профит неиллюзорный
источник

KV

Kirill Valyavin in Haskell
Фримонаду стоит сделать если в языке есть последовательности каких-то действий, стейтменты. А если это типа лямбда калькулус, то конечно не надо
источник

LO

Leonid 🦇 Onokhov in Haskell
Смысл в библиотеке bound раскрыт
источник

X

XÆA-XII in Haskell
Зигохистоморфный препроморфизм?
источник

LO

Leonid 🦇 Onokhov in Haskell
Примеры у кметта на гитхабе ermine
источник

LO

Leonid 🦇 Onokhov in Haskell
И блог у него был
источник

JS

Jerzy Syrowiecki in Haskell
ну вот именно это врядли поможет, а всякие аннотации (source pos, типизация, синонимы) на AST навешивать будет удобно
источник

X

XÆA-XII in Haskell
Ничего не понял
источник

LO

Leonid 🦇 Onokhov in Haskell
Не хочешь, не разбирайся
источник

X

XÆA-XII in Haskell
И где можно посмотреть про рекурсивные схемы?
источник

X

XÆA-XII in Haskell
Ищу в интернете - там только про рекурсию
источник

JS

Jerzy Syrowiecki in Haskell
источник

JS

Jerzy Syrowiecki in Haskell
там ещё функторная версия сама себя пишет
источник

X

XÆA-XII in Haskell
Но тут только катаморфизмы и аноморфизмы объяснены
источник

JS

Jerzy Syrowiecki in Haskell
а, вам уже глубже надо? нет, не знаю хороших источников по этой теме
источник

JS

Jerzy Syrowiecki in Haskell
вот интересное сравнение Fix и Free для AST https://chrispenner.ca/posts/asts-with-fix-and-free
источник

X

XÆA-XII in Haskell
Спасибо
источник

X

XÆA-XII in Haskell
Всё посохранял себе, завтра будет, что почитать в электричке
источник