Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
| By the way, is there a reason behind the fact that “Constraint” uses
Am Mittwoch, den 28.12.2011, 12:48 +0000 schrieb Simon Peyton-Jones: the
| ordinary case, while “BOX” has all three letters capitalized? Wouldn’t | it be more sensible if it were “Box” instead of “BOX”?
Only that BOX is a sort (currently the one and only sort), whereas Constraint is a kind. I'm not sure that BOX should ever be displayed to users.
Okay, this makes sense then. However, note that the GHC User’s manual mixes the terminology (“kind” vs. “sort”) at one point:
Note that List, for instance, does not get kind BOX -> BOX, because we do not further classify kinds; all kinds have sort BOX.
< http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/kind-polymorphi...
I think, it should say “sort BOX -> BOX”.
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 :-) Cheers, Pedro
Best wishes, Wolfgang
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users