From c5cc5d5284d7baf4a8f5cda37a1dcaa78ee4f1e9 Mon Sep 17 00:00:00 2001 From: kiendang Date: Fri, 28 Dec 2018 13:58:22 +0800 Subject: [PATCH 1/2] Fix urls --- _sips/minutes/2018-09-24-sip-minutes.md | 18 +++++++------- _sips/minutes/2018-11-26-sip-minutes.md | 32 ++++++++++++------------- 2 files changed, 25 insertions(+), 25 deletions(-) diff --git a/_sips/minutes/2018-09-24-sip-minutes.md b/_sips/minutes/2018-09-24-sip-minutes.md index 16fa2b2abf..e8c0702479 100644 --- a/_sips/minutes/2018-09-24-sip-minutes.md +++ b/_sips/minutes/2018-09-24-sip-minutes.md @@ -13,11 +13,11 @@ The following agenda was distributed to attendees: | --- | --- | --- | | Summary of the Contributors thread [“Proposal to remove XML literals from the language”](https://contributors.scala-lang.org/t/proposal-to-remove-xml-literals-from-the-language/2146) | Sébastien Doeraene | Pending | Summary of the Contributors thread [“Proposal to remove the procedure Syntax”](https://contributors.scala-lang.org/t/proposal-to-remove-procedure-syntax/2143) | Josh Suereth | Pending | -| [Proposal to add Intersection Types to the Language](https://dotty.epfl.ch/docs/reference/intersection-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351) | -| [Proposal to Add Union Types to the Language](https://dotty.epfl.ch/docs/reference/union-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352) | -| [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/implicit-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-implicit-function-types-to-the-language/2353) | -| [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/dependent-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1) | -| [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/trait-parameters.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356) | +| [Proposal to add Intersection Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351) | +| [Proposal to Add Union Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/union-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352) | +| [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-implicit-function-types-to-the-language/2353) | +| [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1) | +| [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356) | Jorge Vicente Cantero was the Process Lead and Darja Jovanovic was the secretary. @@ -125,7 +125,7 @@ An overview of the second batch can be found [in this Scala Contributors thread] Feedback on these proposals is open until the 25th October 2018, as describe in the linked Scala Contributors thread. -#### [Proposal to add Intersection Types](https://dotty.epfl.ch/docs/reference/intersection-types.html) and [Union Types](https://dotty.epfl.ch/docs/reference/union-types.html) to the language +#### [Proposal to add Intersection Types](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html) and [Union Types](https://dotty.epfl.ch/docs/reference/new-types/union-types.html) to the language ([YouTube time: 20’49’’ - 24'01](https://youtu.be/tEb4UF6RJrM?t=1250)) @@ -154,7 +154,7 @@ There is some back-and-forth between **Sebastien** and **Josh** with regards to performance of union types and their boxing (especially in the presence of specialization). [More](https://youtu.be/tEb4UF6RJrM?t=1913) -#### [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/implicit-function-types.html) +#### [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html) ([YouTube time: 39’01’’ - 43’11’’](https://youtu.be/tEb4UF6RJrM?t=2341)) @@ -180,7 +180,7 @@ definition of scope injection comes more from a typing rules perspective rather than the lexical point of view. **Martin** agrees that if there is a name clash with implicit function types there is a problem indeed. -#### [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/dependent-function-types.html) +#### [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html) ([YouTube time: 43’11’’ - 44’40’’](https://youtu.be/tEb4UF6RJrM?t=2591)) **Martin** mentions that dependent function types is the last big addition to Scala's type checker. The reason why they are added is because Scala has dependent methods and there is a need for dependent functions (the same rationale has been doing with regards to implicit methods and implicit function types). It's an obvious win because dependent function types allow us to abstract over the idea of implicit methods in functions, so the more we can do the better. Initially he was afraid of the feature because he thought it violated this Scala principle that in the end anything is an instance of a class in some way and it turned out that a new encoding of dependent function types made this initial argument moot. Dependent function types are now encoded as implicit function types with type refinements, so this way it doesn't violate that principle. @@ -188,7 +188,7 @@ name clash with implicit function types there is a problem indeed. and Martin agrees and says that they are looking into that, but maybe not for Scala 3.0 (Guillaume Martres is pushing for polymorphic function types). -#### [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/trait-parameters.html) +#### [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) ([YouTube time: 44’42’’ - end ](https://youtu.be/tEb4UF6RJrM?t=2682)) diff --git a/_sips/minutes/2018-11-26-sip-minutes.md b/_sips/minutes/2018-11-26-sip-minutes.md index 8bbee06a3b..d7db2ebc66 100644 --- a/_sips/minutes/2018-11-26-sip-minutes.md +++ b/_sips/minutes/2018-11-26-sip-minutes.md @@ -89,37 +89,37 @@ The Committee came up with the curated list, based on 3 categories, "core", "ess Please see the [full list here](https://docs.google.com/spreadsheets/d/1GWJUo0U3JbBtrfg5vqgb6H5S6wlU5HnTxebLcHwD1zw/edit?usp=sharing), naming the "core" features as follows: -[Early Initializers](https://dotty.epfl.ch/docs/reference/dropped/early-initializers.html) +[Early Initializers](https://dotty.epfl.ch/docs/reference/dropped-features/early-initializers.html) -[Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html) +[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) -[Intersection Types](http://dotty.epfl.ch/docs/reference/intersection-types.html) +[Intersection Types](http://dotty.epfl.ch/docs/reference/new-types/intersection-types.html) -[Union Types](http://dotty.epfl.ch/docs/reference/union-types.html) +[Union Types](http://dotty.epfl.ch/docs/reference/new-types/union-types.html) -[Dependent Function Types](http://dotty.epfl.ch/docs/reference/dependent-function-types.html) +[Dependent Function Types](http://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html) -[Implicit Function Types](http://dotty.epfl.ch/docs/reference/implicit-function-types.html) +[Implicit Function Types](http://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html) -[Weak Conformance](https://dotty.epfl.ch/docs/reference/dropped/weak-conformance.html) +[Weak Conformance](https://dotty.epfl.ch/docs/reference/dropped-features/weak-conformance.html) -[Type Lambdas](https://dotty.epfl.ch/docs/reference/type-lambdas.html) +[Type Lambdas](https://dotty.epfl.ch/docs/reference/new-types/type-lambdas.html) -[Type Checking](https://dotty.epfl.ch/docs/reference/changed/type-checking.html) +[Type Checking](https://dotty.epfl.ch/docs/reference/changed-features/type-checking.html) -[Type Inference](https://dotty.epfl.ch/docs/reference/changed/type-inference.html) +[Type Inference](https://dotty.epfl.ch/docs/reference/changed-features/type-inference.html) -[Implicit Resolution](https://dotty.epfl.ch/docs/reference/changed/implicit-resolution.html) +[Implicit Resolution](https://dotty.epfl.ch/docs/reference/changed-features/implicit-resolution.html) -[Pattern matching](https://dotty.epfl.ch/docs/reference/changed/pattern-matching.html) +[Pattern matching](https://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html) -[Existential Types](https://dotty.epfl.ch/docs/reference/dropped/existential-types.html) +[Existential Types](https://dotty.epfl.ch/docs/reference/dropped-features/existential-types.html) -[Type Projection](https://dotty.epfl.ch/docs/reference/dropped/type-projection.html) +[Type Projection](https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html) -[Class Shadowing](https://dotty.epfl.ch/docs/reference/dropped/class-shadowing.html) +[Class Shadowing](https://dotty.epfl.ch/docs/reference/dropped-features/class-shadowing.html) -[Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html) +[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) From 00e7d83680d44647be411072ea2ad7e55703d947 Mon Sep 17 00:00:00 2001 From: kiendang Date: Fri, 28 Dec 2018 13:59:56 +0800 Subject: [PATCH 2/2] Remove duplicated url --- _sips/minutes/2018-11-26-sip-minutes.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/_sips/minutes/2018-11-26-sip-minutes.md b/_sips/minutes/2018-11-26-sip-minutes.md index d7db2ebc66..956331635c 100644 --- a/_sips/minutes/2018-11-26-sip-minutes.md +++ b/_sips/minutes/2018-11-26-sip-minutes.md @@ -119,8 +119,6 @@ Please see the [full list here](https://docs.google.com/spreadsheets/d/1GWJUo0U3 [Class Shadowing](https://dotty.epfl.ch/docs/reference/dropped-features/class-shadowing.html) -[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) - ### What’s the plan for keeping the migration period as short as possible?