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

s22>Будут ли следующие возможности
s22>1. Проверка корректности работы с уникальными ссылками
s22>2. Лайфтайм
s22>3. Определение по используемому коду типа ссылки (уникальная/шаред) и создания соответствющего типа

Это все возможности языка. В одном они могут быть, в другом — нет. Мы позволим описывать собственные символы и предоставим легкий путь производить связыванием между именами и символами. А уж как вы там будете интерпретировать эти символы — не наша забота.

Заведешь ты в своем языке символы "Лайфтайм", "уникальная ссылка" и "разделяемая ссылка" будет тебе эта функциональность. Мы поможем проверить, что уникальная ссылка не пересеклась с разделяемой или еще чем-то.

Будут пресеты для организации связывания по алгоритмам распространенных языков (ява, шарп, паскаль). Их можно будет расширять.

Семантика же — это уже забота авторов языков.