Language Design


Macros SIP Proposal
About the Language Design category [Language Design] (1)
PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function) ( 2 3 ) [Language Design] (45)
Making `for` simpler and more regular ( 2 3 ) [Language Design] (50)
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)
Sharing parts of case classes [Language Design] (8)
Let's drop postfix operators [Language Design] (16)
Split out monitor methods out of AnyRef to a separate trait [Language Design] (2)
Proposal : Abstract `This` type inside every class/trait [Language Design] (14)
Removing `copy` operation from case classes with private constructors [SIP Proposal] (8)
Pre SIP: Demote match keyword to a method ( 2 ) [Language Design] (33)
Existential scope of existential typeparameter changes unexpectedly [Language Design] (1)
Better type inference for Scala: send us your problematic cases! ( 2 3 4 ) [Language Design] (63)
Will it become possible to make "contextualized" scope injection using only import-s and extension methods and implicit functions? [Language Design] (2)
Dead (parts of) libraries in Scala 3? [Language Design] (7)
Dotty: implicit function types and for-comprehensions [Language Design] (1)
What kinds of macros should Scala 3 support? ( 2 3 4 ) [Macros] (70)
Proposal to add Implicit Function Types to the Language [SIP Proposal] (4)
Proposal to add Trait Parameters to the Language [SIP Proposal] (15)
Proposal to add Dependent Function Types to the Language [SIP Proposal] (8)
Documentation of Future.find doesn't really say something about the priorization [Language Design] (2)
Pre-SIP: warn against unidiomatic features (e.g., null value and unsafe casts) ( 2 3 4 ) [SIP Proposal] (72)
SIP Suggestion: Add ?: and ?. syntactic sugar for more convenient Option[T] usage ( 2 ) [Language Design] (23)
Proposal to add Intersection Types to the Language ( 2 ) [SIP Proposal] (24)
Multiple type parameter lists in Dotty? (SI-4719) [Language Design] (9)
Second batch of Scala 3 SIPs: additions to Scala's type system [SIP Proposal] (1)
Type-safe contains ( 2 ) [Language Design] (35)
Do we need Scala 3? [Language Design] (4)
Proposal to Add Union Types to the Language [SIP Proposal] (3)