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…
