Hi Wolfgang,<br><br><div class="gmail_quote">On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch <span dir="ltr"><<a href="mailto:g9ks157k@acme.softbase.org">g9ks157k@acme.softbase.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Am Mittwoch, den 28.12.2011, 12:48 +0000 schrieb Simon Peyton-Jones:<br>
<div class="im">> | By the way, is there a reason behind the fact that “Constraint” uses the<br>
> | ordinary case, while “BOX” has all three letters capitalized? Wouldn’t<br>
> | it be more sensible if it were “Box” instead of “BOX”?<br>
><br>
> Only that BOX is a sort (currently the one and only sort), whereas<br>
> Constraint is a kind. I'm not sure that BOX should ever be displayed<br>
> to users.<br>
<br>
</div>Okay, this makes sense then. However, note that the GHC User’s manual<br>
mixes the terminology (“kind” vs. “sort”) at one point:<br>
<br>
Note that List, for instance, does not get kind BOX -> BOX, because<br>
we do not further classify kinds; all kinds have sort BOX.<br>
<br>
<<a href="http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/kind-polymorphism-and-promotion.html" target="_blank">http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/kind-polymorphism-and-promotion.html</a>><br>
<br>
I think, it should say “sort BOX -> BOX”.<br></blockquote><div><br>Yes, it should indeed say "sort", not "kind". If you know of any other places in the documentation with this type/kind/sort of inconsistency, please let me know :-)<br>
<br><br>Cheers,<br>Pedro<br> </div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Best wishes,<br>
Wolfgang<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</div></div></blockquote></div><br>