[Haskell-cafe] Re: A question about "monad laws"

jerzy.karczmarczuk at info.unicaen.fr jerzy.karczmarczuk at info.unicaen.fr
Mon Feb 11 23:14:37 EST 2008

Richard A. O'Keefe comments: 

>   [floating point addition is not associative]] 
> And this is an excellent example of why violating expected laws is BAD.
> The failure of floating point addition to be associative means that  there
> are umpteen ways of computing polynomials, for example, and doing it  
> different ways will give you different answers.  This is *not* a good 
> way to write reliable software. 

[Then we see the scalar product whose value *may* depend on the ev. order] 

I wonder...
Would you say that *no* typical floating-point software is reliable? 

Jerzy Karczmarczuk 

More information about the Haskell-Cafe mailing list