序 xv前言 xvii第 1 章　零到六十：Scala 简介 11．1　为什么选择Scala 11．1．1　富有魅力的Scala 21．1．2　关于Java 8 31．2　安装Scala 31．2．1　使用SBT 51．2．2　执行Scala 命令行工具 61．2．3　在IDE中运行Scala REPL 81．3　使用Scala 81．4　并发 171．5　本章回顾与下一章提要 27第 2 章　更简洁，更强大 282．1　分号 282．2　变量声明 292．3　Range 312．4　偏函数 322．5　方法声明 332．5．1　方法默认值和命名参数列表 332．5．2　方法具有多个参数列表 342．5．3　Future 简介 352．5．4　嵌套方法的定义与递归 382．6　推断类型信息 402．7　保留字 442．8　字面量 462．8．1　整数字面量 462．8．2　浮点数字面量 472．8．3　布尔型字面量 482．8．4　字符字面量 482．8．5　字符串字面量 482．8．6　符号字面量 502．8．7　函数字面量 502．8．8　元组字面量 502．9　 Option、Some和None：避免使用null 522．10　封闭类的继承 532．11　用文件和名空间组织代码 542．12　导入类型及其成员 552．12．1　导入是相对的 562．12．2　包对象 572．13　抽象类型与参数化类型 572．14　本章回顾与下一章提要 59第 3 章　要点详解 603．1　操作符重载 ? 603．2　无参数方法 633．3　优先级规则 643．4　领域特定语言 653．5　Scala中的if语句 663．6　Scala中的for推导式 673．6．1　for循环 673．6．2　生成器表达式 673．6．3　保护式：筛选元素 673．6．4　Yielding 683．6．5　扩展作用域与值定义 693．7　其他循环结构 703．7．1　Scala的while循环 713．7．2　Scala中的do-while循环 713．8　条件操作符 713．9　使用try、catch和final子句 723．10　名字调用和值调用 753．11　惰性赋值 783．12　枚举 793．13　可插入字符串 813．14　Trait：Scala语言的接口和“混入” 833．15　本章回顾与下一章提要 85第 4 章　模式匹配 864．1　简单匹配 864．2　match中的值、变量和类型 874．3　序列的匹配 904．4　元组的匹配 944．5　case中的guard语句 944．6　case类的匹配 954．6．1　unapply方法 964．6．2　unapplySeq方法 1004．7　可变参数列表的匹配 1014．8　正则表达式的匹配 1034．9　再谈case语句的变量绑定 1044．10　再谈类型匹配 1044．11　封闭继承层级与全覆盖匹配 1054．12　模式匹配的其他用法 1074．13　总结关于模式匹配的评价 1114．14　本章回顾与下一章提要 111第 5 章　隐式详解 1125．1　隐式参数 1125．2　隐式参数适用的场景 1155．2．1　执行上下文 1155．2．2　功能控制 1155．2．3　限定可用实例 1165．2．4　隐式证据 1205．2．5　绕开类型擦除带来的限制 1225．2．6　改善报错信息 1245．2．7　虚类型 1245．2．8　隐式参数遵循的规则 1275．3　隐式转换 1285．3．1　构建独有的字符串插入器 1325．3．2　表达式问题 1345．4　类型类模式 1355．5　隐式所导致的技术问题 1375．6　隐式解析规则 1395．7　Scala内置的各种隐式 1395．8　合理使用隐式 1465．9　本章回顾与下一章提要 146第 6 章 Scala函数式编程 1476．1　什么是函数式编程 1486．1．1　数学中的函数 1486．1．2　不可变变量 1496．2　Scala中的函数式编程 1516．2．1　匿名函数、Lambda与闭包 1526．2．2　内部与外部的纯粹性 1546．3　递归 1546．4　尾部调用和尾部调用优化 1556．5　偏应用函数与偏函数 1576．6　Curry化与函数的其他转换 1586．7　函数式编程的数据结构 1626．7．1　序列 1626．7．2　映射表 1666．7．3　集合 1686．8　遍历、映射、过滤、折叠与归约 1686．8．1　遍历 1696．8．2　映射 1706．8．3　扁平映射 1726．8．4　过滤 1736．8．5　折叠与归约 1746．9　向左遍历与向右遍历 1786．10　组合器：软件最佳组件抽象 1836．11　关于复制 1866．12　本章回顾与下一章提要 188第 7 章　深入学习for推导式 1897．1　内容回顾：for推导式组成元素 1897．2　 for推导式：内部机制 1927．3　 for推导式的转化规则 1947．4　 Option以及其他的一些容器类型 1977．4．1　 Option容器 1977．4．2　 Either：Option类型的逻辑扩展 2007．4．3　 Try类型 2057．4．4　Scalaz提供的Validation类 2067．5　本章回顾与下一章提要 209第 8 章　Scala面向对象编程 2108．1　类与对象初步 2118．2　引用与值类型 2138．3　价值类 2148．4　父类 2178．5　Scala的构造器 2178．6　类的字段 2218．6．1　统一访问原则 2238．6．2　一元方法 2248．7　验证输入 2248．8　调用父类构造器（与良好的面向对象设计） 2268．9　嵌套类型 2308．10　本章回顾与下一章提要 232第 9 章　特征 2339．1　Java 8中的接口 2339．2　混入trait 2349．3　可堆叠的特征 2389．4　构造trait 2439．5　选择类还是trait 2449．6　本章回顾与下一章提要 245第 10 章　Scala对象系统（I） 24610．1　参数化类型：继承转化 24610．1．1　Hood下的函数 24710．1．2　可变类型的变异 25010．1．3　Scala和Java中的变异 25210．2　Scala的类型层次结构 25310．3　闲话Nothing（以及Null） 25410．4　 Product、case类和元组 25810．5　 Predef对象 26010．5．1　隐式转换 26010．5．2　类型定义 26210．5．3　条件检查方法 26310．5．4　输入输出方法 26310．5．5　杂项方法 26510．6　对象的相等 26510．6．1　 equals方法 26610．6．2　 ==和!=方法 26610．6．3　 eq和ne方法 26710．6．4　数组相等和sameElements方法 26710．7　本章回顾与下一章提要 268第 11 章　Scala对象系统（II） 26911．1　覆写类成员和trait成员 26911．2　尝试覆写final声明 27211．3　覆写抽象方法和具体方法 27211．4　覆写抽象字段和具体字段 27411．5　覆写抽象类型 28011．6　无须区分访问方法和字段：统一访问原则 28011．7　对象层次结构的线性化算法 28211．8　本章回顾与下一章提要 287第 12 章　Scala集合库 28812．1　通用、可变、不可变、并发以及并行集合 28812．1．1　 scala．collection包 28912．1．2　 collection．concurrent包 29012．1．3　 collection．convert包 29112．1．4　 collection．generic包 29112．1．5　 collection．immutable包 29112．1．6　 scala．collection．mutable包 29212．1．7　 scala．collection．parallel包 29412．2　选择集合 29512．3　集合库的设计惯例 29612．3．1　 Builder 29612．3．2　 CanBuildFrom 29712．3．3　 Like特征 29812．4　值类型的特化 29812．5　本章回顾与下一章提要 300第 13 章　可见性规则 30113．1　默认可见性：公有可见性 30113．2　可见性关键字 30213．3　Public可见性 30313．4　Protected可见性 30413．5　Private可见性 30513．6　作用域内私有和作用域内受保护可见性 30613．7　对可见性的想法 31213．8　本章回顾与下一章提要 313第 14 章　Scala类型系统（I） 31414．1　参数化类型 31514．1．1　变异标记 31514．1．2　类型构造器 31514．1．3　类型参数的名称 31514．2　类型边界 31514．2．1　类型边界上限 31614．2．2　类型边界下限 31614．3　上下文边界 32014．4　视图边界 32014．5　理解抽象类型 32214．6　自类型标记 32514．7　结构化类型 32914．8　复合类型 33214．9　存在类型 33414．10　本章回顾与下一章提要 335第 15 章　Scala 类型系统（II） 33615．1　路径相关类型 33615．1．1　C．this 33715．1．2　C．super 33715．1．3　path．x 33815．2　依赖方法类型 33915．3　类型投影 34015．4　值的类型 34315．4．1　元组类型 34315．4．2　函数类型 34315．4．3　中缀类型 34315．5　Higher-Kinded类型 34415．6　类型Lambda 34815．7　自递归类型：F-Bounded 多态 35015．8　本章回顾与下一章提要 351第 16 章　高级函数式编程 35216．1　代数数据类型 35216．1．1　加法类型与乘法类型 35216．1．2　代数数据类型的属性 35416．1．3　代数数据类型的最后思考 35516．2　范畴理论 35516．2．1　关于范畴 35616．2．2　Functor范畴 35616．2．3　Monad范畴 36016．2．4　Monad的重要性 36216．3　本章回顾与下一章提要 363第 17 章　并发工具 36517．1　scala．sys．process包 36517．2　Future类型 36717．3　利用Actor模型构造稳固且可扩展的并发应用 37117．4　Akka：为Scala设计的Actor系统 37217．5　Pickling和Spores 38317．6　反应式编程 38417．7　本章回顾与下一章提要 385第 18 章　Scala与大数据 38618．1　大数据简史 38618．2　用Scala改善MapReduce 38718．3　超越MapReduce 39218．4　数学范畴 39318．5　Scala数据工具列表 39418．6　本章回顾与下一章提要 394第 19 章　Scala动态调用 39619．1　一个较为激进的示例：Ruby on Rails框架中的ActiveRecord库 39619．2　使用动态特征实现Scala中的动态调用 39719．3　关于DSL的一些思考 40219．4　本章回顾与下一章提要 402第 20 章　Scala的领域特定语言 40320．1　DSL 示例：Scala中XML和JSON DSL 40420．2　内部DSL 40620．3　包含解析组合子的外部DSL 41020．3．1　关于解析组合子 41020．3．2　计算工资单的外部DSL 41020．4　内部DSL与外部DSL：最后的思考 41320．5　本章回顾与下一章提要 413第 21 章　Scala工具和库 41421．1　命令行工具 41421．1．1　命令行工具：scalac 41421．1．2　Scala命令行工具 41821．1．3　scalap和javap命令行工具 42121．1．4　scaladoc命令行工具 42221．1．5　fsc命令行工具 42221．2　构建工具 42221．2．1　SBT：Scala标准构建工具 42321．2．2　其他构建工具 42521．3　与IDE或文本编辑器集成 42521．4　在Scala中应用测试驱动开发 42621．5　第三方库 42721．6　本章回顾与下一章提要 429第 22 章　与Java的互操作 43022．1　在Scala代码中使用 Java 名称 43022．2　Java泛型与Scala泛型 43022．3　JavaBean的性质 43222．4　 AnyVal类型与Java原生类型 43322．5　Java代码中的Scala名称 43322．6　本章回顾与下一章提要 434第 23 章　应用程序设计 43523．1　回顾之前的内容 43523．2　注解 43723．3　Trait即模块 44123．4　设计模式 44223．4．1　构造型模式 44323．4．2　结构型模式 44323．4．3　行为型模式 44423．5　契约式设计带来更好的设计 44623．6　帕特农神庙架构 44823．7　本章回顾与下一章提要 453第 24 章　元编程：宏与反射 45424．1　用于理解类型的工具 45524．2　运行时反射 45524．2．1　类型反射 45524．2．2　ClassTag、TypeTag与Manifest 45724．3　Scala的高级运行时反射API 45824．4　宏 46124．4．1　宏的示例：强制不变性 46324．4．2　关于宏的最后思考 46624．5　本章回顾与下一章提要 466附录 A　参考文献 468作者简介 473关于封面 473