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

VD>1. Нужно сделать очень простую модификацию в языках (и рантайме) — ввести ссылку которую нельзя а) помещать в поля обычных объектов или массивы; б) которую нельзя возвращать за пределы области видимости где она создана. Это позволит описывать большинство функций как принимающие такие указатели, т.е. гарантированно их не прикапывающие ссылки или прикапывающие в объектах чье время жизни меньше или равно объекту на который делается ссылка.

Со всем остальным согласен, но вот этот пункт, ИМХО, не очень хорош. Потому что сходу не ясно, какие ссылки нужно помечать этим атрибутом и почему. Особенно в библиотечном коде, который просто так изменить не удастся.