Please review: embrace Type::Type, Shepherd: Iavor
Dear Committee, this is your secretary speaking: Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds https://github.com/ghc-proposals/ghc-proposals/pull/83 I propose Yavor Diatchki as the Shepherd. Yavor, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process I suggest you make a recommendation about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
I'm strongly in favour of this proposal. There are really two bits * Stop distinguishing -XPolyKinds and -XTypeInType. This is a straight win. I implement GHC and I could not tell you the precise description. The distinction serves no useful purpose: the ONLY reason for retaining it is to avoid back-compat worries, and that is not a good reason to perpetuate special cases into the indefinite future * Stop treating '*' specially, with a flag to get the old behaviour. I support this plan too. It was really a mistake to use an operator symbol as a type name in the first place. Having a flag to recover the current behaviour is a reasonable mitigation path. Let's do it! Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 19 December 2017 02:53 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Please review: embrace Type::Type, | Shepherd: Iavor | | Dear Committee, | | this is your secretary speaking: | | Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F83&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e034 | 0422c0508d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63649248810 | 8056862&sdata=TcjDdAfP3cDMWfiKMNjzTG98iKzoCIeG6SoDvAdpSHs%3D&reserved=0 | | I propose Yavor Diatchki as the Shepherd. | | Yavor, please reach consensus as described in | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc-proposals%23committee- | process&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c0508d5468 | badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862&sdata= | 7tIMsZ3f1ywmuHTJXqlA%2BtGKfUV5X3rRMcNxtyJDeSQ%3D&reserved=0 | | I suggest you make a recommendation about the decision, maybe point out | debatable points, and assume that anyone who stays quiet agrees with you. | | Thanks, | Joachim | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c05 | 08d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862 | &sdata=jGkyiDO6oIs2kidTiRSqp0o1J0kZRrgpPbyA4%2FwdkSI%3D&reserved=0
This seems like a clear step forward, and I think we should accept.
I read the lively discussion
https://github.com/ghc-proposals/ghc-proposals/pull/83#issuecomment-33768567...,
and my only minor concern is that "StarIsType" wastes extension namespace
on the wart that is "*". That's ok though because in time that extension
could itself be deprecated.
-Ryan
On Mon, Dec 18, 2017 at 9:53 PM, Joachim Breitner
Dear Committee,
this is your secretary speaking:
Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds https://github.com/ghc-proposals/ghc-proposals/pull/83
I propose Yavor Diatchki as the Shepherd.
Yavor, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process
I suggest you make a recommendation about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you.
Thanks, 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
participants (3)
-
Joachim Breitner -
Ryan Newton -
Simon Peyton Jones