[ghc-steering-committee] a plea for PolyKinds

[Iavor Diatchki]

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 <simonpj at microsoft.com>
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 <ghc-steering-committee-bounces at haskell.org>
> *On Behalf Of *Iavor Diatchki
> *Sent:* 03 December 2020 17:51
> *To:* Joachim Breitner <mail at joachim-breitner.de>
> *Cc:* ghc-steering-committee <ghc-steering-committee at haskell.org>
> *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 <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/
> <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 at 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>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201203/dc657b62/attachment.html>