Scala 从入门到函数式编程

介绍 Scala 围绕泛型设计的类型系统。包括类型约束，高阶类型，类型 Lambda，以及利用型变实现拓展。

基于 FP 范式设计一个 JSON 解析器。用代数式设计进行抽象：以关系代数描述类型，而非内在表现。

编写一个基于性质的测试来自动化验证函数满足的定律：阐述编程的行为，让框架自动生成用例，判定程序是否满足预期。

从一个简单的分治算法开始自定义并行计算库。在设计与实现中反复思考，将 API 视为代数，通过建立法则完善功能。

Future 是一个实现异步编程的强大便利工具，被验证了可靠性之后被纳入了 Scala 标准库当中。

本章的主题是如何编写可以保存并转移状态的纯函数式程序，思想很明确：使用函数接收状态参数，然后返回下一个状态。

非严格求值是提升函数式编程效率和模块化的基本技能，它和 Stream 流的关系密切，关注分离是设计主旨。

try-catch 不适合 FP 编程范式，Scala 提出了以 Option，Either 等解决方案。

Scala 3 的主旨：清晰的上下文环境，更强大的类型系统。本文对 Scala 的一些主要特性做介绍。

体验函数式数据结构和规约操作，以及如何通过尾递归来优雅地实现它们，包括尝试充分利用 Scala 的语言特性。

Scala 对类型有更深刻的定义，即分 “类” 和 “型” 两部分。通过运行时反射，我们可获取更详细的信息。

Scala 提供了解析器组合子库，允许我们在 Scala 体系下实现一个内部的，简单的领域特定语言 DSL。

Scala 代码中经常出现 "_" 符号，其信息量大，增加了代码理解的难度，因此专列出一篇文章概括。

本章以 Scala 的视角，利用 Future 库进行异步编程，包括流程控制，异常处理，恢复策略等。

通过自实现心跳检测的机制来感受如何用 Akka 在分布式框架中发挥它的潜力，使用 Scala 实现。

Akka 是一个由 Scala 实现的，可应用于 Java 项目的分布式，并发程序框架，简化并发编程。

简单了解基于 Scala 的 Play2 Web 框架，并围绕此主题介绍 SBT，MongoDB 等工具。

列表 List 是 Scala 开发中最常用的工具，而许多对列表的操作又可以提取成相似的结构：以某种形式对内部所有元素进行变换，筛选出满足条件的元素，规定某个方法组合内部元素等等 ..... Java 8 推出了流操作的概念，并允许以 Lambda 语法描述出这些抽象过程，它使…

模式匹配是 Scala 的重要组成部分，可以将它认为是 Java 的 switch-case 语句的泛化版本。在实际的 Scala 应用中，利用模式匹配和递归的组合可以写出高度抽象的逻辑。除了模式匹配本身以外，这里还会涉及样例类 ( 也称作模板类 )，提取器两个重要概念。 1.…

本章介绍 Scala 函数的高级特性：高阶函数，统一访问性原则，柯里化等，它们是函数式编程的先验知识。