On Tue, Sep 10, 2013 at 5:11 PM, Oscar Benjamin <oscar.j.benjamin@gmail.com> wrote:
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