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.
