<div dir="ltr">I would be in favor of adding these instances too. We could make it clear in the documentation that the only thing being evaluated is the reference.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mi., 15. Jan. 2020 um 10:07 Uhr schrieb Zemyla <<a href="mailto:zemyla@gmail.com">zemyla@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">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><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 15, 2020, 02:59 John Villarreal via Libraries <<a href="mailto:libraries@haskell.org" target="_blank">libraries@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);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></div><div><br></div><div dir="ltr">John<br></div><div><br></div>
</div><div id="gmail-m_-6702288291767848673m_-2716678089007946011ydp8457590fyahoo_quoted_9478203395">
<div style="font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:13px;color:rgb(38,40,42)">
<div>
On Wednesday, 15 January 2020, 07:55:40 UTC, Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de" rel="noreferrer" target="_blank">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="gmail-m_-6702288291767848673m_-2716678089007946011ydp8457590fyqtfd23043"><br clear="none">_______________________________________________<br clear="none">Libraries mailing list<br clear="none"><a shape="rect" href="mailto:Libraries@haskell.org" rel="nofollow noreferrer" target="_blank">Libraries@haskell.org</a><br clear="none"><a shape="rect" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="nofollow noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br clear="none"></div></div></div>
</div>
</div></div>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">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>
</blockquote></div>