没有合适的资源?快使用搜索试试~ 我知道了~
首页Scala 语言规范(ScalaReference(zh_cn).pdf)
Scala是一门类Java的编程语言,它结合了面向对象编程和函数式编程。Scala是纯面向对象的,每个值都是一个对象,对象的类型和行为由类定义,不同的类可以通过混入(mixin)的方式组合在一起。Scala的设计目的是要和两种主流面向对象编程语言Java和C#实现无缝互操作,这两种主流语言都非纯面向对象。 Scala也是一门函数式变成语言,每个函数都是一个值,原生支持嵌套函数定义和高阶函数。Scala也支持一种通用形式的模式匹配,模式匹配用来操作代数式类型,在很多函数式语言中都有实现。 Scala被设计用来和Java无缝互操作(另一个修改的Scala实现可以工作在.NET上)。Scala类可以调用Java方法,创建Java对象,继承Java类和实现Java接口。这些都不需要额外的接口定义或者胶合代码。
资源详情
资源评论
资源推荐

EPFL 编程方法实验室
Scala 语言规范
版本:2.7
原作:马丁.奥德赛 翻译:高德 赵炜
2010-7-20


目录
1. 词法 ..................................................... 1
1.1. 标识符 ............................................. 1
1.2. 换行字符 ............................................ 2
1.3. 字面值 ............................................. 5
1.3.1. 整型字面值 ................................... 5
1.3.2. 浮点型字面值 .................................. 5
1.3.3. 布尔型字面值 .................................. 6
1.3.4. 字符型字面值 .................................. 6
1.3.5. 字符串字面值 .................................. 6
1.3.6. 转义序列 ..................................... 7
1.3.7. 记号字面值 ................................... 8
1.4. 空白与注释 .......................................... 8
1.5. XML 模式 ........................................... 8
2. 标识符,命名和域........................................... 11
3. 类型 .................................................... 13
3.1. 路径 .............................................. 14
3.2. 值类型 ............................................ 14
3.2.1. 单例类型 .................................... 14
3.2.2. 类型映射 .................................... 14
3.2.3. 类型指示 .................................... 15
3.2.4. 参数化类型 .................................. 15
3.2.5. 元组类型 .................................... 16
3.2.6. 标注类型 .................................... 16
3.2.7. 复合类型 .................................... 16
3.2.8. 中缀类型 .................................... 17
3.2.9. 函数类型 .................................... 18
3.2.10. 既存类型 .................................... 18
3.2.11. Predef 中定义的原始类型 ....................... 20
3.3. 非值类型 ........................................... 20
3.3.1. 方法类型 .................................... 20
3.3.2. 多态方法类型 ................................. 21
3.3.3. 类型构造器 .................................. 21
3.4. 基本类型和成员定义 .................................. 22
3.5. 类型间的关系 ....................................... 23
3.5.1. 类型恒等 .................................... 23
3.5.2. 一致性 ...................................... 23
3.6. 易变类型 ........................................... 25
3.7. 类型擦除 ........................................... 25
4. 基本声明与定义 ............................................ 28
4.1. 值声明与定义 ....................................... 28
4.2. 变量声明与定义 ...................................... 29

4.3. 类型声明与类型别名 .................................. 31
4.4. 类型参数 ........................................... 32
4.5. 差异标注 ........................................... 33
4.6. 函数声明与定义 ...................................... 34
4.6.1. 叫名参数 .................................... 35
4.6.2. 重复参数 .................................... 35
4.6.3. 过程 ....................................... 36
4.6.4. 方法返回类型推断 ............................. 37
4.7. Import 子句 ....................................... 37
5. 类与对象 ................................................. 39
5.1. 模板 .............................................. 39
5.1.1. 构造器调用 .................................. 40
5.1.2. 类的线性化 .................................. 41
5.1.3. 类成员 ...................................... 42
5.1.4. 覆盖 ....................................... 42
5.1.5. 继承闭包 .................................... 43
5.1.6. 前置定义 .................................... 43
5.2. 修饰符 ............................................ 44
5.3. 类定义 ............................................ 46
5.3.1. 构造器定义 .................................. 48
5.3.2. Case 类 ..................................... 49
5.3.3. 特征 ....................................... 50
5.4. 对象定义 ........................................... 51
6. 表达式 ................................................... 53
6.1. 表达式类型化 ....................................... 54
6.2. 字面值 ............................................ 54
6.3. Null 值 ........................................... 54
6.4. 指示器 ............................................ 55
6.5. This 和 Super ...................................... 55
6.6. 函数应用 ........................................... 56
6.7. 方法值 ............................................ 57
6.8. 类型应用 ........................................... 58
6.9. 元组 .............................................. 58
6.10. 实例创建表达式 .................................. 58
6.11. 代码块 ......................................... 59
6.12. 前缀,中缀及后缀运算 ............................. 60
6.12.1. 前缀运算 .................................... 60
6.12.2. 后缀操作 .................................... 60
6.12.3. 中缀操作 .................................... 60
6.12.4. 赋值算符 .................................... 61
6.13. 类型化的表达式 .................................. 61
6.14. 标注表达式 ...................................... 62
6.15. 赋值 ........................................... 62
6.16. 条件表达式 ...................................... 63

6.17. While 循环表达式 ................................ 63
6.18. Do 循环表达式 ................................... 64
6.19. For 语句段...................................... 64
6.20. Return 表达式 ................................... 66
6.21. Throw 表达式 .................................... 66
6.22. Try 表达式...................................... 66
6.23. 匿名函数 ....................................... 67
6.24. 语句 ........................................... 68
6.25. 隐式转换 ....................................... 69
6.25.1. 值转换 ...................................... 69
6.25.2. 方法转换 .................................... 69
6.25.3. 重载解析 .................................... 69
6.25.4. 本地类型推断 ................................. 71
6.25.5. Eta 扩展 .................................... 73
7. 隐含参数和视图 ............................................ 75
7.1. implicit 修饰符 .................................... 75
7.2. 隐含参数 ........................................... 75
7.3. 视图 .............................................. 78
7.4. 视图边界 ........................................... 79
8. 模式匹配 ................................................. 81
8.1. 模式 .............................................. 81
8.1.1. 变量模式 .................................... 82
8.1.2. 类型化模式 .................................. 82
8.1.3. 字面值模式 .................................. 82
8.1.4. 稳定标识符模式 ............................... 82
8.1.5. 构造器模式 .................................. 83
8.1.6. 元组模式 .................................... 83
8.1.7. 提取模式 .................................... 83
8.1.8. 模式序列 .................................... 84
8.1.9. 中缀操作符模式 ............................... 84
8.1.10. 模式选择 .................................... 84
8.1.11. XML 模式 .................................... 84
8.1.12. 正则表达式模式 ............................... 84
8.1.13. 恒等模式 .................................... 85
8.2. 类型模式 ........................................... 85
8.3. 模式中的类型参数推断 ................................. 85
8.4. 模式匹配表达式 ...................................... 87
8.5. 模式匹配匿名函数 .................................... 88
9. 顶级定义 ................................................. 91
9.1. 编译单元 ........................................... 91
9.2. 打包 .............................................. 91
9.3. 包引用 ............................................ 91
9.4. 程序 .............................................. 92
10. XML 表达式与模式 ....................................... 93
剩余126页未读,继续阅读

















安全验证
文档复制为VIP权益,开通VIP直接复制

评论2