[Haskell-cafe] instance Enum Double considered not entirely great?

Richard O'Keefe ok at cs.otago.ac.nz
Wed Sep 21 05:47:07 CEST 2011

On 21/09/2011, at 2:18 PM, Casey McCann wrote:
> I still don't see why it makes sense to add separate IEEE comparisons
> instead of just adding a standard partial order class, though.

In any mathematical partial order, we expect
	x `le` x
to be a law.  But in IEEE arithmetic, if x is a NaN, x `le` x is
false.  I don't see how to reconcile these.

I agree that a standard partial order class would be nice.

More information about the Haskell-Cafe mailing list