G
еще я слышал что-то вроде программирование абстрактного синтаксического дерева высшего порядка
Size: a a a
2020 May 22
G
как-то так
M
Хз че это
G
вот
M
Но мы с вечей придумали вообще бомбу
M
Монадический абстрактный кроулер
M
Самый топ что оно способно работать с любым типом аст
M
Наркоманье короче
M
А сам визитом это монада
M
В итоге можно вообще срань створить
M
Ну на самом деле логичное продолжение аст
M
В начале стнтакс три потом АСТ по ом hoas
M
В первом неразрешеня лексемы во втором не разрешены идентификаторы в последнем разрешено все кроме синтакс правил
M
Но сразу говорю не до конца понял лучше пейпер читануть
VG
зачем генерация кода то? надо просто язык достаточно высокоуровневый чтобы код генерировать не нужно было, в хаскеле например генерят код когда надо типы сделать просто потому что нет зависимых типов нормальных чтобы создавать их из значений
G
а зочем тогда метапрограммирование в идрисе
VG
в какой кложуре макросы только чтобы добавлять синтаксис, без них можно писать хоть что, просто генеря напрямую аст
VG
потому что нет гомоиконности