Value Range Propigation Spec

[via Digitalmars-d]

On Wednesday, 22 October 2014 at 09:27:09 UTC, Shammah Chancellor 
wrote:
> A couple of us working on SDC are trying to get ValueRange 
> propigation implemented.

Nice! Maybe you should also consider establishing error in 
floating point calculations by extending to interval arithmetic?

http://en.wikipedia.org/wiki/Interval_arithmetic

Then D would have to add some way to express acceptable 
tolerance. The advantage is that the compiler could then do heavy 
duty optimization on floating point. Like using single precision, 
a more SIMD friendly evaluation order, a look up table etc…