[ghc-steering-committee] Status

[Joachim Breitner]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180423/5faaed59/attachment.sig>