Re[2]: Типизатор Н2
От: s22  
Дата: 24.10.14 15:51
Оценка:
Здравствуйте, VladD2, Вы писали:

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


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


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


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


Повторить раст возможно?
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.