[Haskell-cafe] instance Enum Double considered not entirely great?
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