scope escaping

[Adam D. Ruppe]

On Thursday, 6 February 2014 at 22:41:34 UTC, Meta wrote:
> 2. Walter would be dead-set against it. He's said before that 
> implementing scope would require flow-analysis in the compiler, 
> which would increase the implementation complexity by a lot.

I don't agree with that - I think this could be done pretty much 
within the existing type system, especially since scope has to be 
set everywhere by the programmer.