|
About the Language Design category
|
|
1
|
901
|
August 9, 2016
|
|
Feedback sought: Optional Braces
|
|
442
|
9230
|
January 24, 2021
|
|
External Annotations
|
|
1
|
131
|
January 21, 2021
|
|
Something still not right with givens
|
|
27
|
1404
|
January 7, 2021
|
|
Trouble with 2.13.4 exhaustivity checking being too strict
|
|
14
|
363
|
January 17, 2021
|
|
Why no type inference for union types?
|
|
15
|
462
|
January 15, 2021
|
|
Improve opaque types
|
|
44
|
1492
|
January 14, 2021
|
|
Two proposed changes for extension methods
|
|
52
|
1855
|
January 5, 2021
|
|
Scala 3 versy impressive, It can replace Python i think
|
|
9
|
978
|
January 4, 2021
|
|
What is the purpose of toString in Scala?
|
|
7
|
649
|
January 4, 2021
|
|
Encoding type class hierarchies
|
|
7
|
1047
|
January 3, 2021
|
|
Better type inference for Scala: send us your problematic cases!
|
|
132
|
8676
|
January 2, 2021
|
|
Pre-SIP: Proposal of introducing a Rust-like type "Result"
|
|
65
|
3338
|
December 31, 2020
|
|
Pre-SIP: improve for-comprehensions functionality
|
|
53
|
4737
|
December 31, 2020
|
|
What happened to Module
|
|
15
|
1889
|
December 30, 2020
|
|
selectDynamic via extension methods
|
|
9
|
302
|
December 24, 2020
|
|
Generic Defaults ~ Clazz[ T = Int ]
|
|
14
|
398
|
December 22, 2020
|
|
Kind Polymorphism
|
|
1
|
197
|
December 22, 2020
|
|
Add `Matchable` trait
|
|
41
|
1099
|
December 20, 2020
|
|
Synthesize constructor for opaque types
|
|
138
|
3842
|
December 18, 2020
|
|
Switch order of type and term in `as` definitions?
|
|
81
|
2211
|
December 15, 2020
|
|
Custom AnyVal types in Scala 3 / Dotty
|
|
9
|
541
|
December 8, 2020
|
|
Scala 3 significant indentation
|
|
88
|
2223
|
December 8, 2020
|
|
Feature Request: Private Function Parameters
|
|
5
|
333
|
December 7, 2020
|
|
Change the name for scala.util.Not to scala.util.NotGiven
|
|
2
|
255
|
November 28, 2020
|
|
Renaming @mixin?
|
|
31
|
770
|
November 27, 2020
|
|
Should @infix and @mixin be soft modifiers?
|
|
23
|
669
|
November 25, 2020
|
|
Poor (or Rich) Man's Refinement Types in Scala 3.x?
|
|
12
|
562
|
November 24, 2020
|
|
Is there a reason why value class's backing class can't be 'cast' to the value class?
|
|
5
|
319
|
November 22, 2020
|
|
Rename `Eql` to `CanEqual`?
|
|
1
|
201
|
November 23, 2020
|
