序 xv
前言 xvii
第1章 零到六十：Scala简介 1
1.1 为什么选择Scala 1
1.1.1 富有魅力的Scala 2
1.1.2 关于Java 8 3
1.2 安装Scala 3
1.2.1 使用SBT 5
1.2.2 执行Scala命令行工具 6
1.2.3 在IDE中运行Scala REPL 8
1.3 使用Scala 8
1.4 并发 17
1.5 本章回顾与下一章提要 27
第2章 更简洁，更强大 28
2.1 分号 28
2.2 变量声明 29
2.3 Range 31
2.4 偏函数 32
2.5 方法声明 33
2.5.1 方法默认值和命名参数列表 33
2.5.2 方法具有多个参数列表 34
2.5.3 Future简介 35
2.5.4 嵌套方法的定义与递归 38
2.6 推断类型信息 40
2.7 保留字 44
2.8 字面量 46
2.8.1 整数字面量 46
2.8.2 浮点数字面量 47
2.8.3 布尔型字面量 48
2.8.4 字符字面量 48
2.8.5 字符串字面量 48
2.8.6 符号字面量 50
2.8.7 函数字面量 50
2.8.8 元组字面量 50
2.9 Option、Some 和None：避免使用null 52
2.10 封闭类的继承 53
2.11 用文件和名空间组织代码 54
2.12 导入类型及其成员 55
2.12.1 导入是相对的 56
2.12.2 包对象 57
2.13 抽象类型与参数化类型 57
2.14 本章回顾与下一章提要 59
第3章 要点详解 60
3.1 操作符重载? 60
3.2 无参数方法 63
3.3 优先级规则 64
3.4 领域特定语言 65
3.5 Scala中的if语句 66
3.6 Scala中的for推导式 67
3.6.1 for循环 67
3.6.2 生成器表达式 67
3.6.3 保护式：筛选元素 67
3.6.4 Yielding 68
3.6.5 扩展作用域与值定义 69
3.7 其他循环结构 70
3.7.1 Scala的while循环 71
3.7.2 Scala中的do-while循环 71
3.8 条件操作符 71
3.9 使用try、catch和final子句 72
3.10 名字调用和值调用 75
3.11 惰性赋值 78
3.12 枚举 79
3.13 可插入字符串 81
3.14 Trait：Scala语言的接口和“混入” 83
3.15 本章回顾与下一章提要 85
第4章 模式匹配 86
4.1 简单匹配 86
4.2 match中的值、变量和类型 87
4.3 序列的匹配 90
4.4 元组的匹配 94
4.5 case中的guard语句 94
4.6 case类的匹配 95
4.6.1 unapply方法 96
4.6.2 unapplySeq方法 100
4.7 可变参数列表的匹配 101
4.8 正则表达式的匹配 103
4.9 再谈case语句的变量绑定 104
4.10 再谈类型匹配 104
4.11 封闭继承层级与全覆盖匹配 105
4.12 模式匹配的其他用法 107
4.13 总结关于模式匹配的评价 111
4.14 本章回顾与下一章提要 111
第5章 隐式详解 112
5.1 隐式参数 112
5.2 隐式参数适用的场景 115
5.2.1 执行上下文 115
5.2.2 功能控制 115
5.2.3 限定可用实例 116
5.2.4 隐式证据 120
5.2.5 绕开类型擦除带来的限制 122
5.2.6 改善报错信息 124
5.2.7 虚类型 124
5.2.8 隐式参数遵循的规则 127
5.3 隐式转换 128
5.3.1 构建独有的字符串插入器 132
5.3.2 表达式问题 134
5.4 类型类模式 135
5.5 隐式所导致的技术问题 137
5.6 隐式解析规则 139
5.7 Scala内置的各种隐式 139
5.8 合理使用隐式 146
5.9 本章回顾与下一章提要 146
第6章 Scala函数式编程 147
6.1 什么是函数式编程 148
6.1.1 数学中的函数 148
6.1.2 不可变变量 149
6.2 Scala中的函数式编程 151
6.2.1 匿名函数、Lambda与闭包 152
6.2.2 内部与外部的纯粹性 154
6.3 递归 154
6.4 尾部调用和尾部调用优化 155
6.5 偏应用函数与偏函数 157
6.6 Curry化与函数的其他转换 158
6.7 函数式编程的数据结构 162
6.7.1 序列 162
6.7.2 映射表 166
6.7.3 集合 168
6.8 遍历、映射、过滤、折叠与归约 168
6.8.1 遍历 169
6.8.2 映射 170
6.8.3 扁平映射 172
6.8.4 过滤 173
6.8.5 折叠与归约 174
6.9 向左遍历与向右遍历 178
6.10 组合器：软件最佳组件抽象 183
6.11 关于复制 186
6.12 本章回顾与下一章提要 188
第7章 深入学习for推导式 189
7.1 内容回顾：for推导式组成元素 189
7.2 for推导式：内部机制 192
7.3 for推导式的转化规则 194
7.4 Option以及其他的一些容器类型 197
7.4.1 Option容器 197
7.4.2 Either：Option类型的逻辑扩展 200
7.4.3 Try类型 205
7.4.4 Scalaz提供的Validation类 206
7.5 本章回顾与下一章提要 209
第8章 Scala面向对象编程 210
8.1 类与对象初步 211
8.2 引用与值类型 213
8.3 价值类 214
8.4 父类 217
8.5 Scala的构造器 217
8.6 类的字段 221
8.6.1 统一访问原则 223
8.6.2 一元方法 224
8.7 验证输入 224
8.8 调用父类构造器（与良好的面向对象设计） 226
8.9 嵌套类型 230
8.10 本章回顾与下一章提要 232
第9章 特征 233
9.1 Java 8中的接口 233
9.2 混入trait 234
9.3 可堆叠的特征 238
9.4 构造trait 243
9.5 选择类还是trait 244
9.6 本章回顾与下一章提要 245
第10章 Scala对象系统（I） 246
10.1 参数化类型：继承转化 246
10.1.1 Hood下的函数 247
10.1.2 可变类型的变异 250
10.1.3 Scala和Java中的变异 252
10.2 Scala的类型层次结构 253
10.3 闲话Nothing（以及Null） 254
10.4 Product、case类和元组 258
10.5 Predef对象 260
10.5.1 隐式转换 260
10.5.2 类型定义 262
10.5.3 条件检查方法 263
10.5.4 输入输出方法 263
10.5.5 杂项方法 265
10.6 对象的相等 265
10.6.1 equals方法 266
10.6.2 == 和!=方法 266
10.6.3 eq 和ne方法 267
10.6.4 数组相等和sameElements方法 267
10.7 本章回顾与下一章提要 268
第11章 Scala对象系统（II） 269
11.1 覆写类成员和trait成员 269
11.2 尝试覆写final声明 272
11.3 覆写抽象方法和具体方法 272
11.4 覆写抽象字段和具体字段 274
11.5 覆写抽象类型 280
11.6 无须区分访问方法和字段：统一访问原则 280
11.7 对象层次结构的线性化算法 282
11.8 本章回顾与下一章提要 287
第12章 Scala集合库 288
12.1 通用、可变、不可变、并发以及并行集合 288
12.1.1 scala.collection包 289
12.1.2 collection.concurrent包 290
12.1.3 collection.convert包 291
12.1.4 collection.generic包 291
12.1.5 collection.immutable包 291
12.1.6 scala.collection.mutable包 292
12.1.7 scala.collection.parallel包 294
12.2 选择集合 295
12.3 集合库的设计惯例 296
12.3.1 Builder 296
12.3.2 CanBuildFrom 297
12.3.3 Like特征 298
12.4 值类型的特化 298
12.5 本章回顾与下一章提要 300
第13章 可见性规则 301
13.1 默认可见性：公有可见性 301
13.2 可见性关键字 302
13.3 Public可见性 303
13.4 Protected可见性 304
13.5 Private可见性 305
13.6 作用域内私有和作用域内受保护可见性 306
13.7 对可见性的想法 312
13.8 本章回顾与下一章提要 313
第14章 Scala类型系统（I） 314
14.1 参数化类型 315
14.1.1 变异标记 315
14.1.2 类型构造器 315
14.1.3 类型参数的名称 315
14.2 类型边界 315
14.2.1 类型边界上限 316
14.2.2 类型边界下限 316
14.3 上下文边界 320
14.4 视图边界 320
14.5 理解抽象类型 322
14.6 自类型标记 325
14.7 结构化类型 329
14.8 复合类型 332
14.9 存在类型 334
14.10 本章回顾与下一章提要 335
第15章 Scala类型系统（II） 336
15.1 路径相关类型 336
15.1.1 C.this 337
15.1.2 C.super 337
15.1.3 path.x 338
15.2 依赖方法类型 339
15.3 类型投影 340
15.4 值的类型 343
15.4.1 元组类型 343
15.4.2 函数类型 343
15.4.3 中缀类型 343
15.5 Higher-Kinded类型 344
15.6 类型Lambda 348
15.7 自递归类型：F-Bounded多态 350
15.8 本章回顾与下一章提要 351
第16章 高级函数式编程 352
16.1 代数数据类型 352
16.1.1 加法类型与乘法类型 352
16.1.2 代数数据类型的属性 354
16.1.3 代数数据类型的最后思考 355
16.2 范畴理论 355
16.2.1 关于范畴 356
16.2.2 Functor范畴 356
16.2.3 Monad范畴 360
16.2.4 Monad的重要性 362
16.3 本章回顾与下一章提要 363
第17章 并发工具 365
17.1 scala.sys.process包 365
17.2 Future类型 367
17.3 利用Actor模型构造稳固且可扩展的并发应用 371
17.4 Akka：为Scala设计的Actor系统 372
17.5 Pickling和Spores 383
17.6 反应式编程 384
17.7 本章回顾与下一章提要 385
第18章 Scala与大数据 386
18.1 大数据简史 386
18.2 用Scala改善MapReduce 387
18.3 超越MapReduce 392
18.4 数学范畴 393
18.5 Scala数据工具列表 394
18.6 本章回顾与下一章提要 394
第19章 Scala动态调用 396
19.1 一个较为激进的示例：Ruby on Rails框架中的ActiveRecord库 396
19.2 使用动态特征实现Scala 中的动态调用 397
19.3 关于DSL的一些思考 402
19.4 本章回顾与下一章提要 402
第20章 Scala的领域特定语言 403
20.1 DSL 示例：Scala中XML和JSON DSL 404
20.2 内部DSL 406
20.3 包含解析组合子的外部DSL 410
20.3.1 关于解析组合子 410
20.3.2 计算工资单的外部DSL 410
20.4 内部DSL与外部DSL：最后的思考 413
20.5 本章回顾与下一章提要 413
第21章 Scala工具和库 414
21.1 命令行工具 414
21.1.1 命令行工具：scalac 414
21.1.2 Scala命令行工具 418
21.1.3 scalap和javap命令行工具 421
21.1.4 scaladoc 命令行工具 422
21.1.5 fsc命令行工具 422
21.2 构建工具 422
21.2.1 SBT：Scala标准构建工具 423
21.2.2 其他构建工具 425
21.3 与IDE或文本编辑器集成 425
21.4 在Scala中应用测试驱动开发 426
21.5 第三方库 427
21.6 本章回顾与下一章提要 429
第22章 与Java的互操作 430
22.1 在Scala代码中使用Java名称 430
22.2 Java泛型与Scala泛型 430
22.3 JavaBean的性质 432
22.4 AnyVal类型与Java原生类型 433
22.5 Java代码中的Scala名称 433
22.6 本章回顾与下一章提要 434
第23章 应用程序设计 435
23.1 回顾之前的内容 435
23.2 注解 437
23.3 Trait即模块 441
23.4 设计模式 442
23.4.1 构造型模式 443
23.4.2 结构型模式 443
23.4.3 行为型模式 444
23.5 契约式设计带来更好的设计 446
23.6 帕特农神庙架构 448
23.7 本章回顾与下一章提要 453
第24章 元编程：宏与反射 454
24.1 用于理解类型的工具 455
24.2 运行时反射 455
24.2.1 类型反射 455
24.2.2 ClassTag、TypeTag与Manifest 457
24.3 Scala 的高级运行时反射API 458
24.4 宏 461
24.4.1 宏的示例：强制不变性 463
24.4.2 关于宏的最后思考 466
24.5 本章回顾与下一章提要 466
附录A 参考文献 468
作者简介 473
关于封面 473
· · · · · · (
收起)
