DIP69 - Implement scope for escape proof references

[deadalnix via Digitalmars-d]

On Friday, 12 December 2014 at 08:44:56 UTC, Walter Bright wrote:
> On 12/12/2014 12:16 AM, deadalnix wrote:
>> On Friday, 12 December 2014 at 07:48:21 UTC, Walter Bright 
>> wrote:
>>> Are you suggesting two kinds of scope - transitive and 
>>> non-transitive?
>>>
>>
>> Non transitive scope can be added without any language 
>> extension.
>
> In order for it to work, the holes in the language that enabled 
> escapes had to be plugged. That's what this proposal does - 
> plug the holes.
>

The holes covered by a non transitive scope are already undefined 
behavior.

>> ref counting is just one form of ownership.
>
> My point is if that works with this proposal, then the other 
> forms can work, too.

No, unless we wrap every single indirection (pointer, slice, 
classes, delegates) into a wrapper. That is not going to fly very 
far.