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

S>Потому что для языковых конструкций нет изоляции как таковой, они или используются повсеместно, или не должны использоваться вообще.
В Nitra есть.

namespace Ns
{
  using TypeAlias;// загрузили синтаксис для type 
  type X = A.B;
}
type X = A.B;//А тут уже нельзя.

A>>Нужна возможность запускать собственный код в compile time с возможностью доступа к AST и его изменения. Только для шарпа — IL тут не при чем.
S>Вот тут +100500.
Без возможности добавлять свой АСТ со своей типизацией получается довольно убого.