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

[Simon Peyton Jones]

The main thing I'd add, which applies to all proposals is this:

* If a proposal requires a change to Core, that change should be
  described rather precisely.

The justification for this is in my comments on the linear-types thread.

Simon

| -----Original Message-----
| From: ghc-steering-committee [mailto:ghc-steering-committee-
| bounces at haskell.org] On Behalf Of Joachim Breitner
| Sent: 27 November 2017 14:54
| To: ghc-steering-committee at haskell.org
| Subject: [ghc-steering-committee] What do we need from the linear-types
| proposal?
| 
| Dear committee,
| 
| Mathieu Boespflug asks on
| https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c
| om%2Fghc-proposals%2Fghc-proposals%2Fpull%2F91%23issuecomment-
| 347123204&data=02%7C01%7Csimonpj%40microsoft.com%7C44b56cc9019549c8dc5f08
| d535a6ad85%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63647391234812744
| 2&sdata=LqVQJviHF8Wxbc3QHiPWe2C2pK%2FTXX12GbmxPLJEOi0%3D&reserved=0
| 
| > 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
| 
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joach
| im-
| breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C44b56cc9019549c8d
| c5f08d535a6ad85%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636473912348
| 127442&sdata=zDtUrSDruKvFJWEKfJHXeISRDM21q9juzyBdyjLYUzs%3D&reserved=0