data kinds

[José Pedro Magalhães]

See http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData


Cheers,
Pedro

On Fri, Jan 25, 2013 at 3:19 PM, Ross Paterson <ross at soi.city.ac.uk> wrote:

> GHC implements data kinds by promoting data declarations of a certain
> restricted form, but I wonder if it would be better to have a special
> syntax for kind definitions, say
>
>   data kind Nat = Zero | Succ Nat
>
> At the moment, things get promoted whether you need them or not, and
> if you've made some mistake that makes your definition non-promotable
> you don't find out until you try to use it.
>
> More importantly, a separate form for kinds would allow one to use
> existing kinds, i.e. *, in definitions of new kinds.
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130125/6460509e/attachment.htm>