DIP69 - Implement scope for escape proof references

[Walter Bright via Digitalmars-d]

On 12/19/2014 9:44 PM, Dicebot wrote:
> Such notion of "view" requires at least some elements of transitivity to be
> practical in my opinion.

I have no idea how "some elements of transitivity" can even work. It's either 
transitive or its not. Please don't think of scope in terms of ownership, 
ownership is an orthogonal issue.


> Also with my definition in mind your example of tree
> that stores scope nodes makes absolutely no sense unless whole tree itself is
> scoped (and nodes are thus scoped transitively). Such view is always assumes
> worst case about ownership and shouldn't persist in any form (as that would
> require some serious ownership tracking).

This is definitely conflating scope and ownership.