Language Design   SIP Proposal


About the SIP Proposal category (1)
Proposal to deprecate and remove symbol literals ( 2 3 4 5 ) (93)
Proposal To Revise Implicit Parameters (16)
Proposal: Simplifying the Scala getting started experience ( 2 3 4 5 ) (80)
Proposal for Opaque Type Aliases ( 2 3 ) (55)
Proposal to add top-level definitions (and replace package objects) ( 2 3 ) (57)
Proposal to add kind polymorphism to the language (18)
Proposal to add Extension Methods to the language ( 2 ) (24)
Proposal: make overload resolution bind more closely for matching types (4)
Proposal for explicit syntax for Type Lambdas (8)
Proposal to drop Weak Conformance from the language ( 2 3 4 5 6 ) (102)
Pre-SIP: Assignment Operator Precedence Exceptions (!=, <=, >=) (7)
Proposal to officialize and generalize name-based pattern matching (20)
Proposal to remove general type projection from the language ( 2 3 4 ) (78)
Proposal to disallow class shadowing ( 2 3 ) (42)
ImplicitFunctionClass (20)
Proposal to enhance Scala's OO capabilities (3)
Proposal to remove Existential Types from the language (16)
Proposal for programmatic structural types ( 2 ) (32)
Proposal to add Automatic Eta Expansion to the Language (3)
Proposal to remove auto application from the language ( 2 ) (30)
Removing `copy` operation from case classes with private constructors (8)
Proposal to add Implicit Function Types to the Language (4)
Proposal to add Trait Parameters to the Language (15)
Proposal to add Dependent Function Types to the Language (8)
Pre-SIP: warn against unidiomatic features (e.g., null value and unsafe casts) ( 2 3 4 ) (72)
Proposal to add Intersection Types to the Language ( 2 ) (24)
Second batch of Scala 3 SIPs: additions to Scala's type system (1)
Proposal to Add Union Types to the Language (3)
First batch of Scala 3 SIPs (2)