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.
