September 2018 SIP minutes #1171
Conversation
Create 2018-09-24-sip-minutes.md
|
Small nit ... I wasn't present at this meeting. |
Miles moved, not present
|
Thank you Miles, just changed it |
|
|
||
| #### [“Proposal to remove early initializers from the language”](https://contributors.scala-lang.org/t/proposal-to-remove-early-initializers-from-the-language/2144) | ||
|
|
||
| ([YouTube time: 19’29’ - 20’40’’](https://youtu.be/tEb4UF6RJrM?t=1169)) |
There was a problem hiding this comment.
Is it normal that there is nothing but the Youtube link in this section?
There was a problem hiding this comment.
@jvican can you please write up a line here, it's like a minute that is missing
|
|
||
| An overview of the second batch can be found [in this Scala Contributors thread](https://contributors.scala-lang.org/t/second-batch-of-scala-3-sips-additions-to-scalas-type-system/2376). The batches under discussion are: | ||
|
|
||
| 1. https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356/11 |
There was a problem hiding this comment.
That URL points to the 11th post in the thread. You should remove the trailing /11 to point the thread start.
| 1. https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356/11 | ||
| 2. https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351/1 | ||
| 3. https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352/1 | ||
| 4. https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1 |
There was a problem hiding this comment.
Ideally, also remove the trailing /1 on these three URLs.
| ([YouTube time: 20’49’’ - 24'01](https://youtu.be/tEb4UF6RJrM?t=1250)) | ||
|
|
||
| **Martin** presents the intersection types as per doc. He does a basic | ||
| description of the feature and points ou8t that intersection types are the |
| ([YouTube time: 44’42’’ - end ](https://youtu.be/tEb4UF6RJrM?t=2682)) | ||
|
|
||
| **Martin** describes trait parameters and says that they subsume a large number of use | ||
| cases of early initializers. They were not added to Scala 2 because of |
There was a problem hiding this comment.
"to Scala 2" is misleading here I think. I think a better rendering of the idea is "to Scala from the start". We might still add them to Scala 2 (hopefully we will). The point Martin made was that in initially designing Scala, the only reason he did not include trait parameters was the uncertainty [...].
|
@sjrd thanks for your eagle-eye review, on it! |
Included @sjrd comments
@sjrd and @jvican please take a look, August one should follow