Escape analysis

[Robert Fraser]

Walter Bright wrote:
> Robert Fraser wrote:
>> I get the feeling that D's type system is going to become the joke of
>> the programming world. Are we really going to have to worry about a
>> scope unshared(invariant(int)*) ...? What other type modifiers can we
>> put on that?
> 
> That argues that "noscope" should be the default. Using "scope" would be 
> an optional optimization.
> 
> BTW, "unshared" is the default. "shared" would be the keyword.

My point wasn't the number of keywords... ("shared" is actually the 
first keyword introduced that's conflicted with an identifier I've 
used). My point was the type system is getting incredibly complex. The 
theory that static typing is the solution to everything is what lead to 
the beast known as checked exceptions.