[ghc-steering-committee] Volutneer shepherding for linear types sought

[Simon Peyton Jones]

I care about them -- but I'm implicated in the proposal.

I suspect the silence is mostly to do with the fact that it’s a substantial proposal.  It's certainly much more far-reaching than most of the proposals that we devote our time to.  That's good -- but it's also daunting.

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-
|  bounces at haskell.org> On Behalf Of Joachim Breitner
|  Sent: 19 May 2018 19:45
|  To: ghc-steering-committee at haskell.org
|  Subject: Re: [ghc-steering-committee] Volutneer shepherding for linear
|  types sought
|  
|  Hi,
|  
|  this has been met with dead silence … here is a loaded question: Who
|  here cares about linear types? :-)
|  
|  Cheers,
|  Joachim
|  
|  Am Mittwoch, den 09.05.2018, 16:21 -0400 schrieb Joachim Breitner:
|  > Hi committee,
|  >
|  > usually, when a proposal has been submitted, I just pick a
|  shepherd¹.
|  > But I feel the linear types proposal, at
|  > https://github.com/tweag/ghc-proposals/blob/linear-
|  types2/proposals/00
|  > 00-linear-types.rst is not something I can just impose on any of
|  you.
|  >
|  > Therefore, I’d like to have a volunteer to step forward and claim
|  this
|  > one.
|  >
|  >
|  > Any takers?
|  >
|  > Joachim
|  >
|  >
|  > ¹ In case you are curious, I look at this data to make a pick:
|  >   * Low number of pending proposals shepherded
|  >   * Low number of total proposals handled
|  >   * Prior activity on the proposal discussion
|  >   * Expertise and interest, as perceived by me
|  >   You can influence that easily by engaging in a proposal discussion
|  >   before it is submitted; that’s a sure way of getting a proposal
|  >   assigned.
|  >
|  > _______________________________________________
|  > ghc-steering-committee mailing list
|  > ghc-steering-committee at haskell.org
|  > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-
|  committ
|  > ee
|  --
|  Joachim Breitner
|    mail at joachim-breitner.de
|    http://www.joachim-breitner.de/