[ghc-steering-committee] Status

[Simon Peyton Jones]

What about #83: Embrace Type:Type

I proposed acceptance in my email of 17th April (attached), but no one has responded.

I've added the payload of the email to the Github trail as well.

Let's get this done.  Do we even have a shepherd?

Simon

| -----Original Message-----
| From: ghc-steering-committee <ghc-steering-committee-
| bounces at haskell.org> On Behalf Of Joachim Breitner
| Sent: 24 April 2018 03:47
| To: ghc-steering-committee at haskell.org
| Subject: [ghc-steering-committee] Status
| 
| Hi committee,
| 
| the proposal process has become pretty popular, and it seems we are
| having trouble keeping up. There are a few proposals that needs
| shepherding … so please check if you are expected to make a
| recommendation or, if you have, if the discussion needs more guidance
| or can be closed.
| 
| Since the last status update, we
|  * were asked to review these proposals:
|    - Provenance-Qualified Package Imports (Shepherd: Ben)
|    - Quantified Constraints (Shepherd: Richard)
|    - Kinds Without Promotion (Shepherd: Ryan)
|    - DH quantifiers (Shepherd: me)
|    - Top-level kind signatures (Shepherd: Roman)
|    - Resurrect PatternSignatures (Shepherd: Chis)
|    - forall {k} (Shepherd: Iavor)
|  * got a recommendation from shepherds about:
|    - :kind!! (accept)
|    - Treat kind and type vars identically with `forall` (accept)
|    - Binding existential type variables (reject)
|    - Quantified Constraints (accept)
|  * decided about the following proposals
|    - :kind!! (needs revision)
|    - Quantified Constraints (accept)
|    - Source plugins (accept)
|    - plugin recompilation avoidance
|      (accepted, but proposal needs to be updated)
|    - DH quantifiers (punted, now dormant)
| 
| 
| We currently have to act on the following 14 proposals, which is
| 2 more than a the time of the last the last status mail.
| 
| Deriving Via
| https://github.com/ghc-proposals/ghc-proposals/pull/120
| Shepherd: Joachim
| Status: Acceptance recommended
| 
| Resurrect PatternSignatures
| https://github.com/ghc-proposals/ghc-proposals/pull/119
| Shepherd: Chris
| Status: Waiting for recommendation.
| 
| Provenance-Qualified Package Imports
| https://github.com/ghc-proposals/ghc-proposals/pull/115
| Shepherd: Ben
| Status: Waiting for recommendation.
| 
| Define Kinds Without Promotion
| https://github.com/ghc-proposals/ghc-proposals/pull/106
| Shepherd: Ryan
| Status: Waiting for recommendation.
| 
| kind and type vars
| https://github.com/ghc-proposals/ghc-proposals/pull/103
| Shepherd: SPJ
| Status: Discussion ongoing
| 
| forall {x},
| https://github.com/ghc-proposals/ghc-proposals/pull/99
| Shepherd: Iavor
| Status: Waiting for recommendation.
| 
| Binding existential variables
| https://github.com/ghc-proposals/ghc-proposals/pull/96
| Shepherd: Roman
| Status: Roman recommends to reject. Very active discussion going on,
| with an alternative proposal in #126.
| 
| Embrace Type-In-Type
| https://github.com/ghc-proposals/ghc-proposals/pull/83
| Shepherd: Iavor
| Status: We made progress. Iavor, Richard, do we have consensus now?
| 
| Visible dependent quantification (TL;DR: forall k -> k -> *)
| https://github.com/ghc-proposals/ghc-proposals/pull/81
| Shepherd: Roman Leshchinskiy
| Status: With #102 punted, discussion can and should start again.
| 
| Top-level kinds signatures
| https://github.com/ghc-proposals/ghc-proposals/pull/54
| Shepherd: Roman Leshchinskiy
| Status: Waiting for recommendation.
| 
| Or-Patterns
| https://github.com/ghc-proposals/ghc-proposals/pull/43
| Shepherd: Manuel
| Status: Waiting for Manuel to make a recommendation
| 
| Lazy unboxed tuples
| https://github.com/ghc-proposals/ghc-proposals/pull/35
| Shepherd: Ryan
| Status: This is lingering since last July!
| 
| Constraint vs. Type
| https://github.com/ghc-proposals/ghc-proposals/pull/32
| Shepherd: Simon PJS (proposed acceptance)
| Status: Simon’s proposal was met with silence. Ergo accept?
| 
| Mutable constructor fields
| https://github.com/ghc-proposals/ghc-proposals/pull/8
| Shepherd: Ryan Newton
| Status: Inconclusive discussion that fell silent, but
| not the clear consensus that I’d like. Ryan, what is the status here?
| 
| 
| Cheers,
| Joachim
| 
| --
| Joachim Breitner
|   mail at joachim-breitner.de
|   http://www.joachim-breitner.de/
-------------- next part --------------
An embedded message was scrubbed...
From: Simon Peyton Jones <simonpj at microsoft.com>
Subject: Re: [ghc-steering-committee] Proposal: Embrace Type in Type (#83)
Date: Tue, 17 Apr 2018 08:08:28 +0000
Size: 12414
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180424/0295fb96/attachment-0001.mht>