Escape analysis

[Andrei Alexandrescu]

Robert Fraser wrote:
> 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.

I don't think you have a case.

Andrei