Исправление
dave,
(текущая версия)
:
Покажи хоть один пример статически типизированных лисп-макросов.
Кстати, да. Полноценные статически типизированные макросы еще ни у кого не получились, насколько мне известно. В Nemerle - какой-то мрак в сочетании макросов с объектной моделью .NET, а в Scala нет нетипизированных макросов, без которого сама идея макросистемы не особо жизнеспособна (это к вопросу о преимуществах и недостатках статики против динамики).
Даже какую-то глупую отмазку придумали, что мол, если нужны вам макросы, то вы что-то делаете не так. Право смешно читать их :)
Макросы и динамическая типизация - вещи взаимосвязанные.
Исходная версия
dave,
:
Покажи хоть один пример статически типизированных лисп-макросов.
Кстати, да. Полноценные статически типизированные макросы еще ни у кого не получились, на сколько мне известно. В Nemerle - какой-то мрак в сочетании макросов с объектной моделью .NET, а в Scala нет нетипизированных макросов, без которого сама идея макросистемы не особо жизнеспособна (это к вопросу о преимуществах и недостатках статики против динамики).
Даже какую-то глупую отмазку придумали, что мол, если нужны вам макросы, то вы что-то делаете не так. Право смешно читать их :)
Макросы и динамическая типизация - вещи взаимосвязанные.