<div dir="ltr">I don't care one way or the other about the creation of <font face="monospace, monospace">implies</font><font face="arial, helvetica, sans-serif">, I'm happy to bow to popular opinion either way.</font><div><br></div><div>I do care about changing the strictness of the comparisons in <font face="monospace, monospace">Ord Bool</font><font face="arial, helvetica, sans-serif">, however, and that </font>would require a rather massive survey of what breaks, and what gets slower -- one that we simply haven't done -- before I'd even start to be comfortable with it.</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 25, 2016 at 12:27 PM, wren romano <span dir="ltr"><<a href="mailto:wren@community.haskell.org" target="_blank">wren@community.haskell.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-1 for changing the Ord Bool instance, due to the likelihood of subtle<br>
bugs and regressions.<br>
<br>
-1 for using the name (==>) due to conflict with QuickCheck, Smallcheck, etc.<br>
<br>
Ambivalent about adding an implication operator distinct from (<=),<br>
mainly because I haven't needed it myself. IMO, the ordering on Bool<br>
should be defined so that it coincides with implication, thanks to the<br>
relationship to Boolean/Heyting algebras— which the current Ord<br>
instance already does. Though I do agree that if implication is given<br>
its own name then it ought to be lazy in the second argument, whereas<br>
it's not clear that (<=) should share that strictness/laziness.<br>
<br>
Personally, were I to add something like implication, I'd define it<br>
via a type class so that we can unify the things called (==>) in<br>
various testing frameworks. Of course, doing this appropriately would<br>
mean making a decent hierarchy of type classes for order/lattice<br>
theory. But given as we don't have one of those yet, I'd do it in a<br>
separate package so it could be played around with until everything<br>
fits together nicely, and then aim to get it blessed into HP rather<br>
than changing base.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Live well,<br>
~wren<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>