Scala 3 参考
3.4.1
学习
安装
游乐场
查找库
社区
博客
Scala 3 参考
学习
安装
游乐场
查找库
社区
博客
文档
新类型
交集类型
并集类型
类型 Lambda
匹配类型
依赖函数类型
多态函数类型
枚举
枚举
代数数据类型
枚举和 ADT 的转换
上下文抽象
给定实例
使用子句
上下文界限
导入给定值
扩展方法
右结合扩展方法:详细信息
实现类型类
类型类派生
如何使用宏编写类型类“派生”方法
多重相等
上下文函数
隐式转换
按名称传递的上下文参数
与 Scala 2 隐式值的关系
元编程
内联
编译时操作
宏
运行时多阶段编程
反射
TASTy 检查
对称元编程的元理论
其他新功能
特质参数
透明特质和类
通用应用方法
导出子句
不透明类型别名
不透明类型别名:更多详细信息
开放类
参数解元组
类型多态
可匹配特质
@threadUnsafe 注解
@targetName 注解
新的控制语法
可选大括号
安全初始化
TypeTest
实验性定义
其他更改的特性
数字文字
程序化结构类型
运算符规则
类型中的通配符参数
导入
类型推论的变更
隐式解析中的更改
隐式转换
重载解析中的更改
匹配表达式
可变参数拼接
模式绑定
无选项模式匹配
自动 Eta 展开
编译器插件中的更改
惰性值初始化
Main 方法
内插中的转义
已删除的特性
已删除:DelayedInit
已删除:Scala 2 宏
已删除:存在类型
已删除:通用类型投影
已删除:Do-While
已删除:过程语法
已删除:包对象
已删除:早期初始化器
已删除:类阴影
已删除:限制 22
已删除:XML 文字
已删除:符号文字
已删除:自动应用
已删除:弱一致性
已弃用:非本地返回
已删除:private[this] 和 protected[this]
已删除:通配符初始化器
实验性
CanThrow 能力
已擦除的定义
命名类型参数
数字文字
显式空值
MainAnnotation
捕获检查
元组函数
Scala 3 语法摘要
语言版本
源兼容性
二进制兼容性
软关键字
建议语言特性的分类
Scala 3 参考
/
其他更改的特性
/
类型推断中的更改
在 GitHub 上编辑此页面
类型推论的变更
更多信息,请参阅以下两个演示文稿
Scala 3、类型推断与你!
,作者 Guillaume Martres(2019 年 9 月)
Dotty 中的 GADT
,作者 Aleksander Boruch-Gruszecki(2019 年 7 月)。
上一个
导入
下一个
隐式解析中的更改