DS
А зах?
Многие вещи сильно проще делаются, плюс IDE не сходит с ума
Size: a a a
2020 April 27
DS
А зах?
Тот же дерайвинг там делается элементарно, т.к. вся информация о типах у тебя уже есть
DS
Тебе не надо заново, за компилятор её собирать и парсить описание структур
NI
Ну, тут соглашусь. Хотя думаю, надо бы написать обертку над syn, упрощающую парсинг
p
так компилятор когда встречает процедурный макрос вызывает его сразу, не?
DS
Это сильно ограничиваеи функционал
Т.е. тут вопрос в том, что наряду с процедурными макросами, должны быть макросы, которые работают с АСТ языка без парсинга токенов заново.
В идеале в двух вариантах: АСТ до тайпчека и после тайпчека, как было сделано в немерле
В идеале в двух вариантах: АСТ до тайпчека и после тайпчека, как было сделано в немерле
NI
Правда, либа, которую я пишу, полагается именно на процедурные макросы
DS
Правда, либа, которую я пишу, полагается именно на процедурные макросы
И процедурные тоже должны остаться, но уже для более основательных вещей, где нужна прямо своя грамматика, но с токенами языка-хоста
NI
Кстати, syn немного упрощает парсинг
DS
Кстати, syn немного упрощает парсинг
Да, но типы он не восстанавливает
DS
Плюс у процедурных макросов нету никакого контекста о всей программе целиком
NI
Не скажу
p
Да, но типы он не восстанавливает
так их на момент вызова проц макроса и компилятор не знает
NI
В нем есть конструкции для типизированных конструкций
DS
так их на момент вызова проц макроса и компилятор не знает
О чём я и говорю, что было бы хорошо добавить те макросы, которые работают после тайпчека
NI
Тогда пили rfc
DF
Может проще было бы нормальную компиль тайм рефлексию добавить?
DF
А то 3 сорта макросов
DF
Получится
p
больше макросов богу макросов!