Memory allocation purity

[Walter Bright via Digitalmars-d]

On 5/15/2014 5:20 PM, bearophile wrote:
> 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!

Yes, the VRP has been a nice win for D. No other language does it.