<html><head></head><body><div class="ydp9fd7382yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div></div>
<div><span><span>That's interesting! I do see Eq instances for types TVars and IORefs but
no Ord instance. But I don't see an Eq instance defined for the (->)
type which also seems to be considered a reference-like type in the
discussion. However I do think the argument can be made that the Eq
instance for reference types is equally questionable for similar
reasons.</span></span><br></div><div><br></div>
</div><div id="yahoo_quoted_9944839146" class="yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Wednesday, 15 January 2020, 09:06:52 UTC, Zemyla <zemyla@gmail.com> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div id="yiv5091482504"><div><div>We do have Eq instances for those types, though, and they say that they compare the references rather than the values. Is NFData more like Eq or Show?</div><br clear="none"><div class="yiv5091482504gmail_quote"><div class="yiv5091482504yqt6313585443" id="yiv5091482504yqt27520"><div class="yiv5091482504gmail_attr" dir="ltr">On Wed, Jan 15, 2020, 02:59 John Villarreal via Libraries <<a rel="nofollow" shape="rect" ymailto="mailto:libraries@haskell.org" target="_blank" href="mailto:libraries@haskell.org">libraries@haskell.org</a>> wrote:<br clear="none"></div><blockquote class="yiv5091482504gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div></div>
<div dir="ltr">I too agree that NFData instances for reference types are more trouble than worth the modest convenience they buy us. We don't have Show instances for reference-like types either and I don't think anybody would be arguing for those either.<br clear="none"></div><div><br clear="none"></div><div dir="ltr">John<br clear="none"></div><div><br clear="none"></div>
</div><div id="yiv5091482504m_-2716678089007946011ydp8457590fyahoo_quoted_9478203395">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Wednesday, 15 January 2020, 07:55:40 UTC, Henning Thielemann <<a rel="nofollow" shape="rect" ymailto="mailto:lemming@henning-thielemann.de" target="_blank" href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:
</div><br clear="none"><div><div dir="ltr">> David put my thoughts pretty clearly: is it more useful or more <br clear="none">> confusing? I am also leaning toward more confusing. Hopefully more can <br clear="none">> weigh in on this.<br clear="none"><br clear="none">I also think NFData instances for reference types are more dangerous than <br clear="none">helpful. Since laziness and strictness account for subtle programming <br clear="none">mistakes, it is better if GHC tells you that 'rnf tvar' does possibly not <br clear="none">perform what you expect. I'd even consider to add an instance with a type <br clear="none">error message to show the user that this instance has been omitted by <br clear="none">intention.<div id="yiv5091482504m_-2716678089007946011ydp8457590fyqtfd23043"><br clear="none">_______________________________________________<br clear="none">Libraries mailing list<br clear="none"><a rel="nofollow" shape="rect" ymailto="mailto:Libraries@haskell.org" target="_blank" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br clear="none"><a rel="nofollow" shape="rect" target="_blank" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br clear="none"></div></div></div>
</div>
</div></div>_______________________________________________<br clear="none">
Libraries mailing list<br clear="none">
<a rel="nofollow" shape="rect" ymailto="mailto:Libraries@haskell.org" target="_blank" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br clear="none">
<a rel="nofollow" shape="rect" target="_blank" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br clear="none">
</blockquote></div></div></div></div></div>
</div>
</div></body></html>