Re: [ghc-steering-committee] a plea for PolyKinds

I find the distinction between types and kinds helps me understand programs better. On Thu, Dec 3, 2020 at 9:53 AM Simon Peyton Jones wrote:

I would totally support that if PolyKinds was implemented without requiring TypeInType, but with the current design for me this is a solid `no`.

Maybe you can say why? Solid sounds… solid.

Simon

*From:* ghc-steering-committee *On Behalf Of *Iavor Diatchki *Sent:* 03 December 2020 17:51 *To:* Joachim Breitner *Cc:* ghc-steering-committee *Subject:* Re: [ghc-steering-committee] a plea for PolyKinds

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 wrote:

Hi,

Am Donnerstag, den 03.12.2020, 16:40 +0000 schrieb Richard Eisenberg:

...

Vote for PolyKinds!

convinced.

Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/ https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Ca7e57ca1aaa04682c10e08d897b416c6%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637426147016852738%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=5BRa1m9VmGYrpfPd%2BCU6kuR2mRMwnGHL56rKmYDevag%3D&reserved=0

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Ca7e57ca1aaa04682c10e08d897b416c6%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637426147016862731%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ajZ4O2lU0DtkM63hKuG6skeitXdkFtYZ6xiklAKzEms%3D&reserved=0