Language Design


SIP Proposal Macros
About the Language Design category [Language Design] (1)
Proposal to drop Weak Conformance from the language ( 2 3 4 5 ) [SIP Proposal] (80)
Proposal to officialize and generalize name-based pattern matching [SIP Proposal] (8)
Existential scope of existential typeparameter changes unexpectedly [Language Design] (2)
Proposal to remove general type projection from the language ( 2 3 4 ) [SIP Proposal] (70)
Proposal for programmatic structural types ( 2 ) [SIP Proposal] (31)
Proposal to disallow class shadowing [SIP Proposal] (3)
Issues related to possible `HasThisType` implementation in Scala/Dotty [Language Design] (3)
Proposal : Abstract `This` type inside every class/trait [Language Design] (17)
Let's fix Scala's initialization order when overloading values [Language Design] (16)
[WIP] Scala with Explicit Nulls ( 2 ) [Language Design] (30)
Proposal to remove Existential Types from the language [SIP Proposal] (12)
Are the magical rules about `:` operators required any more? [Language Design] (14)
Singleton subtyping, and can we mark scala.Singleton as experimental? ( 2 ) [Language Design] (28)
Statically obtain the name of a class member, in a checked way [Language Design] (11)
Syntactic sugar for Tuple1 [Language Design] (4)
Question about an implicit-heavy design pattern [Language Design] (7)
Surprising scala for loop evaluation [Language Design] (5)
Proposal to add Automatic Eta Expansion to the Language [SIP Proposal] (3)
DelayedInit or OnCreate, any solution? ( 2 3 ) [Language Design] (41)
Syntactic sugar for generalized type constraints (=:=, <:<) [Language Design] (4)
Making `for` simpler and more regular ( 2 3 4 ) [Language Design] (67)
Make concrete classes final by default ( 2 3 4 5 6 ) [Language Design] (102)
Proposal to remove auto application from the language ( 2 ) [SIP Proposal] (30)
Better type inference for Scala: send us your problematic cases! ( 2 3 4 ) [Language Design] (71)
Yield in for comprehension should have higher precedence than method invocation ( 2 ) [Language Design] (24)
PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function) ( 2 3 ) [Language Design] (49)
Pre-SIP: Desugaring If statements [Language Design] (16)
Existential types don't infer for invariant nested data structures [Language Design] (8)
Why is for (x <- range) not optimised yet? [Language Design] (6)