On Thursday, 6 February 2014 at 23:24:08 UTC, Adam D. Ruppe wrote:
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.
I know very little about compilers, but wouldn't figuring out if
a variable is being escaped to an outer scope require flow
anyalysis?
