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

VD>Декларативно будет описываться то что связано со связыванием имен и выводом типов.

VD>Далее нужно будет задать правила совместимости (приводимости) типов.

VD>Ну, а вопросы размежения обектов в рантайме уже ложотся на генерацию кода который будет определять семантику.

Причем тут рантайм? я говорю про компайл тайм.
Если ссылка не является разделяемой, определяется на основе ее использования, то генерируется тп unic[T] иначе shared[T].