DS
Про макросы где-то ещё раньше было
Size: a a a
2020 April 28
e
зачем? я показал валидный ЖС но невалидный ТС
ок, я подумал наоборот
Т8
Чтобы были макросы, которые работают уже с распаршенными компилятором синтаксическим деревом. А в идеале ещё и с уже типизированным компилятором деревом выражений
Почему не сделали так?
Т8
Есть мысли?
DS
Т-34 85
Почему не сделали так?
Типа чтобы не палить внутренние представления компилятора внешнему миру, чтобы можно было их легко ломать при правках.
DS
Но ничего не мешало сделать какие-то свои АСТ специально для макросов
DS
Но видимо нет ресурсов на это
Т8
Но видимо нет ресурсов на это
Получается, они выбрали меньшее из зол?
DS
Т-34 85
Получается, они выбрали меньшее из зол?
Они выбрали самый простой для себя вариант, но самый не удобный для разработчика.
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
p
Но видимо нет ресурсов на это
зато на асинк/эвейт есть
p
Они выбрали самый простой для себя вариант, но самый не удобный для разработчика.
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
то есть там просто вместо макроса подставляется вызов функции?
Т8
Они выбрали самый простой для себя вариант, но самый не удобный для разработчика.
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
Как пример удобных макросов:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html
Слушай, в шарпе же нет вообще макросов, ничего же. А в скале есть?
DS
Т-34 85
Получается, они выбрали меньшее из зол?
Точнее надо добавить, что в идеальном мире должны быть доступны три вида макрсоов:
из токен стрима в токен стрим (это есть сейчас в расте)
из нетипизированного аст в нетипизрованное аст
из типизированного аст в типизированное аст (это то, что я скинул по ссылке)
из токен стрима в токен стрим (это есть сейчас в расте)
из нетипизированного аст в нетипизрованное аст
из типизированного аст в типизированное аст (это то, что я скинул по ссылке)
Т8
то есть там просто вместо макроса подставляется вызов функции?
Заинлайненная функция
DS
Т-34 85
Слушай, в шарпе же нет вообще макросов, ничего же. А в скале есть?
В скале есть. В скале - вообще несколько экспериментальный макросистем. В скале 3 - будет то, что я прислал по ссылке выше
DS
то есть там просто вместо макроса подставляется вызов функции?
Нет, там как syn/quote, только на типизированных аст. Из плюсов у тебя есть доступ в макросе к информации о типах.
DS
И IDE на них не сходит с ума, т.к. они не вводят нового синтаксиса
p
Нет, там как syn/quote, только на типизированных аст. Из плюсов у тебя есть доступ в макросе к информации о типах.
я вижу вызов функции assertImpl
Т8
@Psilon макросы нужны в шарпе?
p
там есть атрибуты, они покрывают некоторые задачи макросов. А еще инфомация о типах хранится в рантайме и ее можно доставать, что тоже покрывает часть задач макросов. В общем там они не особо нужны.