Oh actually, (I think) I was wrong about us violating the laws (if you ignore the compare method's implied meaning). It does, however, violate any kinds of laws we might have for Ord, where compare should agree with the Bool comparison operators, and e.g. min/max should be commutative.
Is it? our Ord class already violates the IEEE spec (and can't help it), so we might as well violate it and be mathematically useful.
On Mon, Sep 26, 2011 at 1:05 AM, Bryan O'Sullivan <bos@serpentine.com> wrote:
On Sun, Sep 25, 2011 at 10:53 PM, Daniel Fischer <daniel.is.fischer@googlemail.com> wrote:
Proposal: Provide Double and Float with Eq and Ord instances that introduce
a total order.I am strongly against this proposal, as it is in an area that is particularly poorly understood by most programmers (even experts). While the current behaviour may be undesirable from some points of view, at least it is consistent with most other programming languages - and this is one of the few areas where I think that's important._______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries