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
