DIP69 - Implement scope for escape proof references

[via Digitalmars-d]

On Wednesday, 17 December 2014 at 07:48:52 UTC, bearophile wrote:
> Walter Bright:
>
>> I'm afraid I don't understand at all what you wrote.
>
> Perhaps reading about linear type systems could help:
>
> http://en.wikipedia.org/w/index.php?title=Substructural_type_system&redirect=no#Linear_type_systems

But note that we want a "relaxed" linear type system. In general, 
we are fine with multiple aliases, although there are some 
applications where strict uniqueness is useful. Deadalnix' 
proposal goes in this direction.