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

H>Типы тоже кодогенераторами и препроцессорами выводить? А ведь многие макросы занимаются именно этим — выводят типы выражений, которые трансформируются.

Для кодогенерилки достаточно динамики, нафиг тут типы выводить?

По остальным пунктам, как я понимаю, замечаний нет?