Escape Analysis on reddit

[Robert Fraser]

Andrei Alexandrescu wrote:
> Second, I contest the entire example. Static typing is supposed to prove 
> interesting properties about *most* correct programs, at the cost of 
> disallowing a *few* correct programs that are not very frequent, are not 
> very interesting, or can be easily replaced with typesafe alternatives. 
> One can write correct code based on void* that is virtually impossible 
> to typecheck statically, but that doesn't show that static types are 
> useless.

I think Steven's point was that these programs are not the few; they're 
the many. Most fairly large programs will have issues like this one.