<div dir="ltr">I just showed the type of ($) to my boss in our company chat who has been using Haskell for 14 years. He'd played with Haskell prior to that, but 14 years ago is when he started postgrad and teaching Haskell. Here's what he said:<div><br></div><div>>...what?</div><div>>what does that do?</div><div><br></div><div>He's been using Haskell in production for the last 5 years as well, I think.</div><div><br></div><div>Please simplify the type unless a pragma specific to levity is turned on. As it happens, I like the name levity better than runtimerep, but neither solve any pedagogical issues. YMMV.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 5, 2016 at 1:12 PM, Bardur Arantsson <span dir="ltr"><<a href="mailto:spam@scientician.net" target="_blank">spam@scientician.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 02/05/2016 08:05 PM, Christopher Allen wrote:<br>
> Changing the name doesn't fix the issue. The issue is the noise and the<br>
> referent, not the referrer. There's a habit of over-focusing on names in<br>
> programming communities. I think it'd be a mistake to do that here and risk<br>
> missing the point.<br>
><br>
<br>
</span>I think you're being a bit harsh, but I *do* think you're essentially<br>
right. Beginners will have no idea what most the that means, so... *yes*<br>
the type *will* need to be simplified for display purposes. (Unless, of<br>
course, you opt-in to full signatures.)<br>
<br>
Regards,<br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<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><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Chris Allen<br><div><span style="font-size:12.8000001907349px">Currently working on </span><a href="http://haskellbook.com" target="_blank">http://haskellbook.com</a></div></div></div></div></div></div>
</div>