Bertram Felgenhauer wrote:

This is correct according to the IEEE 754 standard, which defines
that NaN compares unequal to everything, including itself.

This is numerically useful, perhaps, but nonetheless disturbing. For it would be helpful to expect that any type that presumes to be an instance of Eq has a == a = True.

There really are two different notions of equality here. Perhaps they should be given two different names in the language?

--
Ashley Yakeley
Seattle, WA

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to