Dotty released the first milestone version 3.0.0-M1 of 3.0. As a research platform for Scala to try new language concepts and compiler technologies, Dotty will eventually become Scala 3.0.
Dotty has made many simplifications to Scala, such as removing unimportant grammatical features (removing XML literal syntax), trying to reduce Scala's types to smaller and more basic builders, and DOT (Dependent Object Type Calculus) has studied Theories of these builders.
The new features Dotty brings to Scala
- Trait parameters
- Intersection type, union type ( Union , intersection and literal singleton types )
- Self-动特of ( Auto-Specialization )
- Global Optimization ( , Ltd. Free Join Optimization )
- Implicit function type ( the Implicit function types )
- Complete DOT type system
- ……
Dotty 3.0.0-M1 update highlights
grammar
- Fix #9829 issue: Support use
asinstead of@mode binding - Support to modify the wildcard of a given selector #9949
- Keep @Alpha 's optional status #10093
- Scala.js: Implementing non-native JS classes #9774
- Scala.js: Realize the PrepJSInterop stage and simplify export processing #9725
optimization
- Improve the processing of port file parsing #10037
- Enhancing Semanticdb usability #9768
- Optimize the core and frontend #9867
See the release note for details .
Further reading