<html><head></head><body><div class="ydp2da56665yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div></div>
<div dir="ltr" data-setdir="false">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" data-setdir="false">John<br></div><div><br></div>
</div><div id="ydp8457590fyahoo_quoted_9478203395" class="ydp8457590fyahoo_quoted">
<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 <lemming@henning-thielemann.de> 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 class="ydp8457590fyqt3883460131" id="ydp8457590fyqtfd23043"><br clear="none">_______________________________________________<br clear="none">Libraries mailing list<br clear="none"><a shape="rect" href="mailto:Libraries@haskell.org" rel="nofollow" target="_blank">Libraries@haskell.org</a><br clear="none"><a shape="rect" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="nofollow" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br clear="none"></div></div></div>
</div>
</div></body></html>