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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
