Dotty 发布了 3.0 的首个里程碑版本 3.0.0-M1,Dotty 作为 Scala 尝试新的语言概念以及编译器技术的研究平台,它最终将成为 Scala 3.0。
Dotty 对 Scala 进行了许多简化,例如删除不重要的语法特性(移除 XML 字面量语法),尝试将 Scala 的类型归结为更小的一些更基本的构建者, DOT(依赖对象类型演算)研究了这些构建者的理论。
Dotty 为 Scala 带来的新特性
- Trait 参数
- 交集类型、并集类型 (Union, intersection and literal singleton types)
- 自动特化 (Auto-specialization)
- 全局优化 (Global optimization)
- 隐式函数类型 (Implicit function types)
- 完备的 DOT 类型系统
- ……
Dotty 3.0.0-M1 更新亮点
语法
优化
注意:本文归作者所有,未经作者允许,不得转载