Skip to content

Commit c23356b

Browse files
authored
Update 2018-09-24-sip-minutes.md
Included @sjrd comments
1 parent b31c395 commit c23356b

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

_sips/minutes/2018-09-24-sip-minutes.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -120,10 +120,10 @@ A decision will be taken into the future when all those items are acted on.
120120

121121
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:
122122

123-
1. https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356/11
124-
2. https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351/1
125-
3. https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352/1
126-
4. https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1
123+
1. https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356
124+
2. https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351
125+
3. https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352
126+
4. https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354
127127
5. https://contributors.scala-lang.org/t/proposal-to-add-implicit-function-types-to-the-language/2353
128128

129129
Feedback on these proposals is open until the 25th October 2018, as describe
@@ -134,7 +134,7 @@ in the linked Scala Contributors thread.
134134
([YouTube time: 20’49’’ - 24'01](https://youtu.be/tEb4UF6RJrM?t=1250))
135135

136136
**Martin** presents the intersection types as per doc. He does a basic
137-
description of the feature and points ou8t that intersection types are the
137+
description of the feature and points out that intersection types are the
138138
duals of union types. He points out that union types have helped replace most
139139
of the lubbing mechanism and early precocious lubbing that happened in Scala
140140
2 (which happens in less degree in the current implementation of Scala 3 but
@@ -197,7 +197,7 @@ Scala 3.0 (Guillaume Martres is pushing for polymorphic function types).
197197
([YouTube time: 44’42’’ - end ](https://youtu.be/tEb4UF6RJrM?t=2682))
198198

199199
**Martin** describes trait parameters and says that they subsume a large number of use
200-
cases of early initializers. They were not added to Scala 2 because of
200+
cases of early initializers. They were not added to Scala from the start because of
201201
uncertainty in the way they would work with regards to linearization and
202202
initialization of parameters. The way they solved this problem is by
203203
enforcing the rule that only the class extending a trait with parameters can

0 commit comments

Comments
 (0)