On 2013-09-21 23:08, Mike Meyer wrote: > Exactly. The Eq and Ord instances aren't what's broken, at least when > you're dealing with numbers (NaNs are another story). That there are pairs
According to Haskell NaN *is* a number. > Eq and Ord are just the messengers. No. When we declare something an instance of Monad or Applicative (for example), we expect(*) that thing to obey certain laws. Eq and Ord instances for Float/Double do *not* obey the expected laws. Regards, /b (*) Alas, in general, the compiler cannot prove these things, so we rely on assertion or trust. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
