Escape Analysis on reddit

Robert Fraser fraserofthenight at gmail.com
Fri Oct 31 14:56:26 PDT 2008


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.



More information about the Digitalmars-d mailing list