DR
Ты Олю, офкорс
Size: a a a
2021 April 06
λ
Так вот почему ты такой здоровый, на прививках накачался
w
а можно рисунок фотографии скриншота?
GP
а ну чел тут просто национальная идея есть
AG
ну я в общем смысле использую, типа превращение хайер-ордер залупы в первопорядковую
λ
Отстреливать нигеров?
AG
в контексте фп-компиляции это обычно называют closure conversion
AG
дефункционализация в общем смысле это процедура обратная чёрч-кодировке
AG
"реификация" в данные
AG
стейджинг это немного ортогональное понятие, это типа когда у тебя есть иерархия квазиквот, и ты их по одной частично вычисляешь
AG
лмс кстати внутри использует файнал тэглес представление
AG
так что может если прикрутить к нему тофу изолентой, и выйдет искомый зио-генератор :)
SK
один беларусский парень увидел LMS
SK
и сказал "хочу делать макросы в скала"
SK
=== you are here
AG
ну сам по себе лмс это конечно больше эдакий тулкит для прототипирования компиляторов