<div dir="ltr"><div>Hi Richard and devs,</div><div><br></div><div>What a wonderful (#11549) !</div><div>This is a beautiful solution for beginners/newcomers.</div><div>Beginners will not confuse and they can gradually go ahead.</div><div><br></div><div>I extremely appreciate that you are continuously improving the ghc for us.</div><div><br></div><div>Thank you very much,</div><div>Takenobu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-07 0:17 GMT+09:00 Richard Eisenberg <span dir="ltr"><<a href="mailto:eir@cis.upenn.edu" target="_blank">eir@cis.upenn.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I have made a ticket #11549 (<a href="https://ghc.haskell.org/trac/ghc/ticket/11549" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/11549</a>) requesting a -fshow-runtime-rep flag (recalling that the name levity will soon be outdated) as described in this thread. I will make sure this gets in for the release of 8.0.<br>
<br>
Other points:<br>
<br>
- You're quite right that (.) could be generalized. But I'll wait for someone to really want this.<br>
<br>
- I don't have a non-contrived example of the use of ($) with unlifted types. It's quite possible that when adding the dirty runST hack, it was observed that an unlifted type would be OK. At that point, the type of ($) didn't need to become so elaborate. And now we're just trying not to change old (but perhaps unrequested) behavior.<br>
<br>
- For the record, this debate is entirely unrelated to the runST impredicativity hack. (Except, as noted above, perhaps in history.) That hack remains, basically unchanged.<br>
<span class=""><br>
- On Feb 6, 2016, at 9:55 AM, Roman Cheplyaka <<a href="mailto:roma@ro-che.info">roma@ro-che.info</a>> wrote:<br>
><br>
> I would call this a simplification rather than a lie.<br>
<br>
</span>This is a very convincing argument.<br>
<br>
- Thanks, also, for the voice of support. What I love about the Haskell community is that we can have an impassioned debate full of strong opinions, and it all very rarely devolves into a proper flame war. All the posts I've seen in this thread have been constructive and helpful. Thanks.<br>
<span class="HOEnZb"><font color="#888888"><br>
Richard<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>