<div dir="ltr"><div>> <span style="font-size:12.8px">it became harder to tell types from value-level expressions at a glance</span></div><div><br></div><div>Font differences seem like a more natural way to distinguish those.</div><div><br></div><div><span style="font-size:12.8px">> Do you prefer this?</span><br style="font-size:12.8px">> <br style="font-size:12.8px"><span style="font-size:12.8px">> id :: domain ~ codomain => domain -> codomain ...</span><br></div><div><br></div><div>Lol no.</div><div><br></div>Maybe a good solution would be, rather than longer names, some automated way for a user to ask whether a type variable like 'a' carries any semantics, or is truly free to be anything. <div><br></div><div>If I'm learning a library from the top down, it's not (as far as I can remember) a problem. But sometimes one library uses a single function buried deep in another library. In those situations, the current status-quo recipe, "just flail around (reading documentation or manually unifying types) until you get it," seems improvable.</div><div><br></div><div>But if y'all gurus don't think it's a big deal, I'll take your word for it, and wait for those flailings to become instinctual.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 10, 2017 at 4:08 PM, Albert Y. C. Lai <span dir="ltr"><<a href="mailto:trebla@vex.net" target="_blank">trebla@vex.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 2017-08-10 06:29 PM, Jeffrey Brown wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Haskellers tend to use uninformative single-letter type variables. A <br>
</blockquote>
<br></span>
Do you prefer this?<br>
<br>
id :: domain ~ codomain => domain -> codomain<br>
id argument = return_value<br>
  where<br>
    return_value = argument<div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Jeff Brown | Jeffrey Benjamin Brown</div><div dir="ltr"><a href="https://msu.edu/~brown202/" style="font-size:12.8px" target="_blank">Website</a>   |   <a href="https://www.facebook.com/mejeff.younotjeff" style="font-size:12.8px" target="_blank">Facebook</a>   |   <a href="https://www.linkedin.com/in/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">LinkedIn</a><span style="font-size:12.8px">(spammy, so I often miss messages here)   </span><span style="font-size:12.8px">|</span><span style="font-size:12.8px">   </span><a href="https://github.com/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">Github</a><span style="font-size:12.8px">   </span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</div>