[ghc-steering-committee] a plea for PolyKinds
iavor.diatchki at gmail.com
Thu Dec 3 19:53:28 UTC 2020
Oh? Perhaps I am confused, if we can have PolyKinds without TypeInType,
I'd be happy to change my vote. My understanding was that basically
`TypeInType` got renamed to `PolyKinds` but I might be confused.
On Thu, Dec 3, 2020 at 11:50 AM Alejandro Serrano Mena <trupill at gmail.com>
> But PolyKinds does not require TypeInType, according to the docs [
> 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>)
>> I would totally support that if PolyKinds was implemented without
>> requiring TypeInType, but with the current design for me this is a solid
>> On Thu, Dec 3, 2020 at 9:48 AM Joachim Breitner <mail at joachim-breitner.de>
>>> Am Donnerstag, den 03.12.2020, 16:40 +0000 schrieb Richard Eisenberg:
>>> > Vote for PolyKinds!
>>> Joachim Breitner
>>> mail at joachim-breitner.de
>>> ghc-steering-committee mailing list
>>> ghc-steering-committee at haskell.org
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-steering-committee