декларативно как и описание синтаксиса. Включая вывод

Здравствуйте, Аноним, Вы писали:

А>декларативно как и описание синтаксиса. Включая вывод

Долго читал заголовок и тело, но так и не смог полностью понять вопрос.

В Н2 будет декларативная система типизации. При описании новых синтаксических конструкций можно будет задать правила типизации для них. Будут ли эти конструкции типами или чем-то иным нам не важно.

На базе этого описания компилятор будет генерировать код типизатора. Таким образом в Н2 будет расширяемый типизатор, по аналогии с современным расширяемым парсером.

Что касается типов, то они тоже будут расширяемыми до какой-то степени. Но на сколько пока сказать трудно.

в новом парсере синтаксис можно полностью переопределить причем не гибель внутрь компилятора. Это большое достижение. Можно ли будет так же сделать с типизацией. Т.е. Будет ли она покрываться аналогично похоже на преобразование текста в аст?

Здравствуйте, Аноним, Вы писали:

А>в новом парсере синтаксис можно полностью переопределить причем не гибель внутрь компилятора. Это большое достижение. Можно ли будет так же сделать с типизацией. Т.е. Будет ли она покрываться аналогично похоже на преобразование текста в аст?

Я же, вроде бы, уже ответил на этот вопрос:

В Н2 будет декларативная система типизации. При описании новых синтаксических конструкций можно будет задать правила типизации для них.

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

например тип int будет встроенный или будет вводимым? Или например варианты? Или ссылки?

Здравствуйте, Аноним, Вы писали:

А>например тип int будет встроенный или будет вводимым? Или например варианты? Или ссылки?

int и сейчас является синонимом (вводимым через декларацию type в Nemerle.dll) для System.Int32.

За то какие типы доступны компилируемой программе будет отвечать бэкэнды.