data kinds

John Meacham john at repetae.net
Sun Jan 27 03:11:49 CET 2013


On Fri, Jan 25, 2013 at 7:19 AM, 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
>

This is exactly the syntax jhc uses for user defined kinds.

    John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130126/e4d81bc1/attachment.htm>


More information about the Glasgow-haskell-users mailing list