data kinds

Edward Kmett ekmett at gmail.com
Sun Jan 27 23:28:28 CET 2013


This has the problem that kind is currently a valid function name, so it
would take a new keyword, or at least on conditional on the DataKinds
extension.

-Edward

On Sun, Jan 27, 2013 at 3:02 AM, Erik Hesselink <hesselink at gmail.com> wrote:

> When we discussed this last time (summarized by the link Pedro sent, I
>> think) it came up that it might be nice to also
>>  have kind synonyms, which would be analogous to type synonyms, but one
>> level up.   The "natural" syntax for that would be to have a "type kind"
>> declaration, but this seems a bit confusing...
>>
>
>  What about just 'kind'? It's symmetric with 'type'.
>
> Erik
>
> _______________________________________________
> 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/20130127/d25cc0d8/attachment.htm>


More information about the Glasgow-haskell-users mailing list