Andrei Alexandrescu:
I'm following with interest the discussion "My Reference Safety
System (DIP???)". Right now it looks like a lot of work - a
long opener, subsequent refinements, good discussion. It also
seems just that - there's work but there's no edge to it yet;
right now a DIP along those ideas is more likely to be rejected
than approved. But I certainly hope something good will come
out of it.
The second scope proposal looks simpler than the first:
http://wiki.dlang.org/User:Schuetzm/scope2
Later in Rust they have added some lifetime inference to reduce
the annotation burden in many cases.
Bye,
bearophile
