[ghc-steering-committee] Status

[Joachim Breitner]

Hi,

I hope you all survived the ICFP deadline well, and surely you are now
all eager to work off the pretty long list of proposals that are before
us.

Since the last status update, we
 * were asked to review these proposals:
   - kind and type vars in forall (Shepherd: SPJ)
   - Source Plugins (Shepherd: Chris Allen)
   - Constraint vs. Type (Shepherd: SPJ)
   - Type-level type app (Shepherd: Richard)
   - kind!! (Shepherd: Manuel)
   - as-patterns (Shepherd: me)
   - scoped type vars (Shepherd: Roman)
   - or-patterns (Shepherd: Manuel)
 * got a recommendation from shepherds about:
   - Int8/Word8 (accept)
   - DH quantifiers (accept)
   - Type-level type app (accept)
   - Constraint vs. Type (accept)
   - as-patterns (accept)
 * decided about the following proposals
   - unlifted newtypes (accept)
   - Int8/Word8 (accept)
   - type level app (accept)
   - as-patterns (accept)

Plenty of work to do, as we currently have to act on the following 12
proposals!

Plugin recompilation API
https://github.com/ghc-proposals/ghc-proposals/pull/108
Shepherd: Ben, recommends acceptance
Status: Ongoing discussion, with me solitarily holding up the process
with criticism

Source Plugins
https://github.com/ghc-proposals/ghc-proposals/pull/107
Shepherd: Chris Allen
Status: Waiting for Allen’s recommendation

kind and type vars
https://github.com/ghc-proposals/ghc-proposals/pull/103
Shepherd: SPJ
Status: Waiting for Simon to make a recommendation

Dependent Haskell quantifier syntax
https://github.com/ghc-proposals/ghc-proposals/pull/102
Shepherd: Joachim, recommends acceptance
Status: Reservations from SPJ and Iavor, no consensus emerging so far.

Binding existential variables
https://github.com/ghc-proposals/ghc-proposals/pull/96
Shepherd: Roman
Status: Waiting for Roman to make a recommendation

Embrace Type-In-Type
https://github.com/ghc-proposals/ghc-proposals/pull/83
Shepherd: Iavor
Status: Ongoing discussion, mostly about the fate of *

Visible dependent quantification (TL;DR: forall k -> k -> *)
https://github.com/ghc-proposals/ghc-proposals/pull/81
Shepherd: Roman Leshchinskiy
Status: Unclear. Blocked on #102?

:kind!!
https://github.com/ghc-proposals/ghc-proposals/pull/79
Shepherd: Manuel
Status: Waiting for Manuel to make a recommendation

Or-Patterns
https://github.com/ghc-proposals/ghc-proposals/pull/43
Shepherd: Manuel
Status: Waiting for Manuel to make a recommendation

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: There was more discussion. Does this need to go back to the
discussion phase?


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/20180318/29b5bc8b/attachment.sig>