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@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@haskell.org> On Behalf Of Iavor Diatchki
Sent: 03 December 2020 17:51
To: Joachim Breitner <mail@joachim-breitner.de>
Cc: ghc-steering-committee <ghc-steering-committee@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@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@joachim-breitner.de
  http://www.joachim-breitner.de/


_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee