10 Sep
2013
10 Sep
'13
9:49 p.m.
On Tue, Sep 10, 2013 at 5:11 PM, Oscar Benjamin
What do you mean when you say that floating point can't be capture in a simple functional description?
*You* try describing the truncation behavior of Intel FPUs (they use 80 bits internally but only store 64, for (double)). "Leaving aside" isn't an option; it's visible in the languages that use them. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net