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

EP>>Появление compile-time reflection конечно изменит ситуацию.
E>а есть уже какие-то подвижки в эту сторону? В идеале хотелось бы компайл-тайм макросов (с циклами, переменными и всем прочим),

Там разные предложения были, и reflection структур, и улучшенные макросы.
Я бы предпочёл сначала получить reflection структур (а-ля BOOST_FUSION_ADAPT_*), потом возможность создавать новые структуры через мета-программирование (например на входе struct In { int x; };, на выходе struct Out { int &x; };), а уж потом всё остальное.

E>в которых можно добраться до синтаксического дерева

Насчёт доступа к синтаксическому дереву сомневаюсь — это же его нужно всё стандартизировать. AFAIK, внутри MSC++ до недавнего времени вообще не было AST
А вот что-то типа квази-цитирования, как в Nemerle — думаю возможно.