[ghc-steering-committee] a plea for PolyKinds

Alejandro Serrano Mena trupill at gmail.com
Thu Dec 3 19:50:42 UTC 2020


But PolyKinds does not require TypeInType, according to the docs [
https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-PolyKinds]
it is in fact the other way around: TypeInType implies PolyKinds. Of
course, the fact that kinds and types are unified may leak somehow, but I
have a hard time figuring out an example of such.

El jue, 3 dic 2020 a las 18:51, Iavor Diatchki (<iavor.diatchki at gmail.com>)
escribió:

> I would totally support that if PolyKinds was implemented without
> requiring TypeInType, but with the current design for me this is a solid
> `no`.
>
>
> On Thu, Dec 3, 2020 at 9:48 AM Joachim Breitner <mail at joachim-breitner.de>
> wrote:
>
>> Hi,
>>
>> Am Donnerstag, den 03.12.2020, 16:40 +0000 schrieb Richard Eisenberg:
>> > Vote for PolyKinds!
>>
>> convinced.
>>
>> Cheers,
>> Joachim
>> --
>> Joachim Breitner
>>   mail at joachim-breitner.de
>>   http://www.joachim-breitner.de/
>>
>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201203/f7006956/attachment.html>


More information about the ghc-steering-committee mailing list