Memory allocation purity

[bearophile via Digitalmars-d]

Walter Bright:

> I think those sorts of things are PhD research topics. It's a 
> bit beyond the scope of what we're trying to do with D.

Perhaps yes.
Yet, the Whiley language is not PhD-level, and it's inspiring :)

Things like value range propagation show that even rather small 
amounts of statically known information can give back plenty of 
value to D!

Bye,
bearophile