On Thursday, 4 December 2014 at 09:25:11 UTC, Walter Bright wrote:
http://wiki.dlang.org/DIP69
Despite its length, this is a fairly simple proposal. It adds
the missing semantics for the 'scope' storage class in order to
make it possible to pass a reference to a function without it
being possible for it to escape.
This, among other things, makes a ref counting type practical.
It also makes it more practical to use other storage allocation
schemes than garbage collection.
It does not make scope into a type constructor, nor a general
type-annotation system.
It does not provide an ownership system, though it would
complement one.
Haven't got the time to look at this in detail right now, but if
it's as good as it looks on the surface, I'm very excited to use
it. Thanks for all the hard work, all involved.
