[ghc-steering-committee] Status

[Simon Peyton Jones]

What about

 * #54 https://github.com/ghc-proposals/ghc-proposals/pull/54
   Top-level kind signatures (instead of CUSKs)

 * #81 https://github.com/ghc-proposals/ghc-proposals/pull/81
   Syntax for visible dependent quantification

I have twice proposed acceptance, but no one has replied.

I think Roman is shepherd for #54, but #81 seems to be lost. Who is shepherding that?

I'd love to get these two done.

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] DH quantifiers (#102), Recommendation: accept
Date: Mon, 16 Apr 2018 14:42:51 +0000
Size: 20376
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180424/8bb2c6b0/attachment-0001.mht>