Здравствуйте, hardcase, Вы писали:

L>>Для кодогенерилки достаточно динамики, нафиг тут типы выводить?
H>foreach — макрос выводящий типы. Как его на кодогенераторах сделать?

Знаешь, я как-то об этом уже писал, но поиском не нашёл. Если вкратце, то такие вещи имхо нужно делать средствами языка. Например, в Haskell это будет функция. А типы выведет компилятор.

L>>По остальным пунктам, как я понимаю, замечаний нет?
H>Конечно есть, но уже сколько раз говорилось о них что лень повторять.

Ну так давай пофлеймим, скучно же.

H>Макросы нужны как средство автоматизации и абстрагирования: ядро Nemerle очень компактно, а макросы позволяют его расширить в нужную сторону нужным способом.

Грубо говоря: есть язык, недостаточно выразительный, скажем, C#. И вот мы добавляем к нему систему, позволяющую удобно писать к нему кучу компайлер-плагинов или там препроцессоров. Язык можно сделать жутко красивым и выразительным, расширяя его в нужную сторону таким способом. Это нормально?