Oh actually, (I think) I was wrong about us violating the laws (if you ignore the compare method&#39;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. <div>
<br></div><div>Basically, I don&#39;t think we should be held back by shitty conventions that other languages (or standards bodies) introduced. It&#39;s not like you&#39;re really <i>supposed</i> to be comparing vanilla Floats/Doubles, so most people try to avoid it anyway. The scheme in this proposal would remove one of the reasons it&#39;s usually nonsensical to compare them directly, if anything.<br>
<div><br></div><div>I&#39;m in favor, but not strongly so. I just think it&#39;s an ugly wart on the language that doesn&#39;t really buy us much beyond compliance with a flawed standard.<br><br><div class="gmail_quote">On Mon, Sep 26, 2011 at 1:10 AM, Daniel Peebles <span dir="ltr">&lt;<a href="mailto:pumpkingod@gmail.com">pumpkingod@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Is it? our Ord class already violates the IEEE spec (and can&#39;t help it), so we might as well violate it and be mathematically useful.<br>
<br><div class="gmail_quote"><div><div></div><div class="h5">On Mon, Sep 26, 2011 at 1:05 AM, Bryan O&#39;Sullivan <span dir="ltr">&lt;<a href="mailto:bos@serpentine.com" target="_blank">bos@serpentine.com</a>&gt;</span> wrote:<br>

</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div></div><div class="h5"><div class="gmail_quote"><div>On Sun, Sep 25, 2011 at 10:53 PM, Daniel Fischer <span dir="ltr">&lt;<a href="mailto:daniel.is.fischer@googlemail.com" target="_blank">daniel.is.fischer@googlemail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Proposal: Provide Double and Float with Eq and Ord instances that introduce<br>
a total order.<br></blockquote><div><br></div></div><div>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&#39;s important.</div>


</div>
<br></div></div><div class="im">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
<br></div></blockquote></div><br>
</blockquote></div><br></div></div>