Hi Wolfgang, On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch <g9ks1...@acme.softbase.org>wrote:
> Am Mittwoch, den 28.12.2011, 12:48 +0000 schrieb Simon Peyton-Jones: > > | By the way, is there a reason behind the fact that “Constraint” uses > 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-polymorphism-and-promotion.html > > > > 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 >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
