DIP69 - Implement scope for escape proof references

[ketmar via Digitalmars-d]

On Thu, 04 Dec 2014 01:24:13 -0800
Walter Bright via Digitalmars-d <digitalmars-d at puremagic.com> 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.
cosmetic issue: some comments are referring to rules by number ("Error,
rule 5"), yet the rules aren't explicitly numbered. not a big deal, but
still somewhat hard to follow.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20141204/716e2357/attachment.sig>