Skip to content

Commit 344f42b

Browse files
committed
SIP/SLIP meeting notes tweaks
1 parent 6817376 commit 344f42b

File tree

1 file changed

+19
-21
lines changed

1 file changed

+19
-21
lines changed

blog/_posts/2015-11-16-minutes-from-nov-2015.md

Lines changed: 19 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ title: Minutes from Nov 2015 SIP/SLIP Meeting
77

88
# SIP/SLIP meeting, November 2015
99

10-
[A video recording of this meeting is available](https://www.youtube.com/watch?v=RJAwDhB3Vr8).
10+
[A video recording of this meeting](https://www.youtube.com/watch?v=RJAwDhB3Vr8) is available.
1111

1212
# Welcomes and apologies
1313
Today we have [@dickwall](http://github.com/dickwall), [@sjrd](http://github.com/sjrd), [@SethTisue](http://github.com/SethTisue), [@heathermiller](http://github.com/heathermiller), [@non](http://github.com/non) and [@odersky](http://github.com/odersky).
@@ -22,7 +22,7 @@ Link to SLIP: [https://github.com/scala/slip/pull/2](https://github.com/scala/sl
2222
Notes:
2323

2424
- nothing has changed on this one, [@dickwall](http://github.com/dickwall) suggests hibernate tag
25-
- believe this has been replaced/depricated by the larger IO library discussion
25+
- believe this has been replaced/deprecated by the larger IO library discussion
2626

2727
## Unsigned integer data types
2828
Link to SLIP: [https://github.com/scala/slip/pull/30](https://github.com/scala/slip/pull/30)
@@ -68,24 +68,24 @@ Next steps:
6868
- [@som-snytt](http://github.com/som-snytt) has code that looks like it works and does what this SLIP says it should
6969
- the next question is is this good enough? Does this need to be taken further? The issue is that now implicits can behave differently in for comprehensions than outside. The committee are concerned about corner cases and would like Scala's features to be consistent
7070
- it's decided that this needs to be extended to a general pattern, and [@odersky](http://github.com/odersky) is keen on that work being done
71-
- [@SethTisue](http://github.com/SethTisue) doesn't know what the likelihood of [@som-snytt](http://github.com/som-snytt) taking the rest of this work on - the for comprehension was the only version that he has time for. If he doesn't have time, then hopefully the community will be able to help
71+
- [@SethTisue](http://github.com/SethTisue) doesn't know what the likelihood of [@som-snytt](http://github.com/som-snytt) taking the rest of this work on - the for comprehension might be the only version that he has time for. If he doesn't have time, then hopefully the community will be able to help
7272

7373
Open question:
7474

75-
- [@odersky](http://github.com/odersky)in Dotty, want to enforce that every implicit has an explicitly given type because it's very confusing that implicits get lost due to the order of local type inference
76-
- how will that work in a for? The natural thing would be for an implicit not to have a result type.. will we have to enforce that?
75+
- [@odersky](http://github.com/odersky) in Dotty, want to enforce that every implicit has an explicitly given type because it's very confusing that implicits get lost due to the order of local type inference
76+
- how will that work in a `for`? The natural thing would be for an implicit not to have a result type.. will we have to enforce that?
7777

7878
Actions:
7979

80-
- [@SethTisue](http://github.com/SethTisue) to post instructions on the SLIP PR on how to use a specific Scala SNAPSHOT so people can try out the current implementation
80+
- [@SethTisue](http://github.com/SethTisue) to post instructions on the SLIP PR on how to use a specific Scala build so people can try out the current implementation
8181

8282

8383
## Implicit enrichment of `scala.util.Either` to support monadic bias
8484
Link to SLIP: [https://github.com/scala/slip/pull/20](https://github.com/scala/slip/pull/20)
8585

8686
Notes:
8787

88-
- The way we left this from last time, people generally didn't want this, but [@swaldman](https://github.com/swaldman) has gone ahead and provided a proposal for this
88+
- The way we left this from last time, we were unsure where it stood, but [@swaldman](https://github.com/swaldman) has gone ahead and provided a proposal for this
8989
- [@SethTisue](http://github.com/SethTisue) should consider this SLIP in the context of other SLIPs going on at the moment
9090

9191
Actions:
@@ -114,7 +114,7 @@ Link to SLIP: [https://github.com/scala/slip/issues/23](https://github.com/scala
114114

115115
Notes:
116116

117-
- @jsuereth is out for this meeting - he is really the one that can update us on this issue
117+
- [@jsuereth](http://github.com/jsuereth) is out for this meeting - he is really the one that can update us on this issue
118118
- hold this until next month
119119
- this issue is linked to the collection overhaul and it needs to be decided if this should be done separately or if it should be rolled into a larger change
120120

@@ -172,16 +172,13 @@ Homework:
172172
- SLIP committee reads the proposal
173173
- review in December SLIP meeting
174174

175-
Actions:
176-
177-
- [@heathermiller](http://github.com/heathermiller) points out that there are some formatting issues. Can the author fix these?
178175

179-
180-
# JSON AST, The Scala standard library and the SLIP process
176+
# JSON AST, Scala standard library, and the SLIP process
177+
Link to issue and document: [https://github.com/scala/slip/issues/31](https://github.com/scala/slip/issues/31)
181178

182179
[A SLIP proposing a standard JSON AST](https://github.com/scala/slip/pull/28) deviated quickly from the purpose of the SLIP and started a long discussion about what should and should not be in a Scala standard library. This and other discussions seem to really stem from the fact that it isn't clear what should go where in the Scala ecosystem.
183180

184-
[@odersky](http://github.com/odersky) has since created a document on this topic called ["What should go into the standard library"](https://docs.google.com/document/d/1XBUnQ4kM4QtxIXGerP1fLbVBcVrlx0YYpybeQpmVY0w/edit?usp=sharing) which proposes a new structure for Scala and it's libraries. [@odersky](http://github.com/odersky) would like people to comment on the document using [Gitter](https://gitter.im/scala/slip).
181+
[@odersky](http://github.com/odersky) has since created a document on this topic called "What should go into the standard library" (link above) which proposes a new structure for Scala and it's libraries. Comments are invited.
185182

186183
The document proposes a solution similar to Haskell:
187184

@@ -234,14 +231,15 @@ Splitting out core:
234231

235232

236233
[@sjrd](http://github.com/sjrd):
234+
237235
- there is a contradiction saying platform maintainers should decide what goes into the Scala namespace and the wish to have several platforms
238236
- if you want the best part to be something different and you have Several groups of people organizing platforms, everyone in these groups will decide what to put in "their" Scala namespace and that's not the point of a namespace
239237
- [@heathermiller](http://github.com/heathermiller) assume other platforms (other than the Scala.org platform) would have to use another namespace
240238
- [@odersky](http://github.com/odersky) Scala namespace really just another module in the platform that exits to be general and a common base
241239

242240
Actions:
243241

244-
- [@dickwall](http://github.com/dickwall) create new issue to track this: https://github.com/scala/slip/issues/31
242+
- [@dickwall](http://github.com/dickwall) created new issue to track this: https://github.com/scala/slip/issues/31
245243
- The community should read [@odersky](http://github.com/odersky)'s document and let the SLIP know their thoughts/questions/comments
246244

247245
## ... so what about JSON AST question/discussion
@@ -250,13 +248,13 @@ Link to SLIP: [https://github.com/scala/slip/pull/28](https://github.com/scala/s
250248
Notes:
251249

252250
- [@SethTisue](http://github.com/SethTisue) from the SLIP meeting point of view, shall we give it a number and essentially encourage this being discussed?
253-
- [@dickwall](http://github.com/dickwall) points out that this shouldn't have a SLIP number as yet (some misunderstanding there on the SLIP discussion)
251+
- [@dickwall](http://github.com/dickwall) points out that this shouldn't have been initially submitted with a SLIP number (some misunderstanding there on the SLIP discussion)
254252

255-
- note, there isn't an implementation of this yet
253+
note, the implementation of this isn't completely finished yet.
256254

257255

258-
- [@non](http://github.com/non) we can all agree this is interesting enough/there has been enough debate for this to be given a SLIP number
259-
- [@dickwall](http://github.com/dickwall) given number 28, but won't be accepted as a SLIP until some conclusion can be reached on where it's position is
256+
- [@non](http://github.com/non) we can all agree this is interesting enough/there has been enough debate for this to be given a SLIP number and become "active"
257+
- [@dickwall](http://github.com/dickwall) given number 28, but won't be "accepted" until some conclusion can be reached on where it's position is
260258

261259
people think this is a good idea, but it would be a platform library change in the new set up
262260

@@ -270,7 +268,7 @@ a discussion needs to happen around that
270268

271269
Also, should this go into the Scala namespace?
272270

273-
[@SethTisue](http://github.com/SethTisue) points out that part the reason the reaction of this was hard to gage was it wasn't clear if people realized this wasn't for core (it's not).
271+
[@SethTisue](http://github.com/SethTisue) points out that part the reason the reaction of this was hard to gauge was it wasn't clear if people realized this wasn't for core (it's not).
274272

275273
[@heathermiller](http://github.com/heathermiller) even we are confused about what is and isn't core
276274

@@ -283,6 +281,6 @@ Actions:
283281

284282
# AOB
285283
- Sadly, [@dickwall](http://github.com/dickwall) is to step aside from the committee meetings but will continue to help with some of the process work. This is [@dickwall](http://github.com/dickwall)'s last committee meeting
286-
- [@SethTisue](http://github.com/SethTisue) will run the Hangout part of the committee meetings
284+
- [@SethTisue](http://github.com/SethTisue) will set up and moderate the December meeting
287285
- all agree [@dickwall](http://github.com/dickwall) has done a great job and thank him
288286
- [@odersky](http://github.com/odersky) how do we find a new moderator? Suggests they email the other SLIP members to see if they can find a new moderator/find volunteers

0 commit comments

Comments
 (0)