[ghc-steering-committee] What do we need from the linear-types proposal?

[Joachim Breitner]

Dear committee,

Mathieu Boespflug asks on
https://github.com/ghc-proposals/ghc-proposals/pull/91#issuecomment-347123204

> Could the Committee define the items it expects before it can make a
> determination about this proposal? We've heard in this thread members
> of the Committee ask for a fleshed out linear base, more examples
> than are already in the proposal and in the paper, and also full code
> from other users at large. I can certainly understand where they are 
> coming from. But at the same time, I am concerned about scope creep. 
> Defining where the goal posts are from now would certainly help.

and I am not sure what to reply here… but “we’ll know that once we made
a determination” is probably not helpful.

Does anyone here feel like he could define the requirements that are
necessary to allow us to consider the proposal properly?

Thanks,
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/20171127/5f9f1910/attachment.sig>