¶主要内容：

1. 并发编程挑战
2. actor编程模型
3. actor中的错误处理
4. 并发编程中组合Future和Promise

在本章将介绍Scala中最为激动人心的特性：actor库。可以把一个actor认为是一个对象，该对象处理一个消息(请求)并封装状态(actor间的状态是不共享的)。接收一个消息，并在相应中执行一个动作的能力，这样的对象称为一个actor。更高层面上讲，actors是你做面向对象编程(OOP)时应该实现的方式。要记得actor模型鼓励不共享状态的体系架构。在本章，我将解析为什么在任何并发编程里面，这是一个重要的性质。

Future 和 Promise以非阻塞(nonblocking)的方式提供了执行并发操作的抽象。这是一个很好的方式来创建多并发和平行计算，以此计算你的工作(job)。这和你如何组合函数很相似，但，在这里，函数被并发(concurrently)地或平行(parallel)地执行。Future可以认为是一个代理对象，你可以为一个以后会用到结果进行创建。你可以用Promise有提供的结果来完成一个Future。我们将在本章循序渐进得探索Promise 和 Future。首先，让我们先理解下我所理解的并发、并行编程。

¶主要内容：

1. 构建组件。
2. 丰富的类型系统。
3. 即时-多态(Ad hoc polymorphism)。
4. 解决表述问题。

我们有一段时间没有把专注力放在Scala的类型系统(type system)上。The type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute¹.(类型系统是一个易于处理的语法方法，它通过计算得出的分类词汇，为该方法提供正确的缺省的编程处理)。

本章学习类型系统的要点是 理解其背后理论。这对学习类型系统基础很有帮助，本章不会过多在练习上关于理论内容。这里，将探索Scala提供给我们的各种各样的类型，并带有例子让我们更好理解。为什么类型系统如此重要？它提供了一下几点特性：

• Error detection：就像编译器编译单元测试，可以探测普通类型和其它编程错误。
• Abstractions：本章重点。你将学习类型系统是如何提供抽象给构建组件。
• Documentation：函数或方法签名，告诉你它是做什么的。
• Efficiency：类型系统帮助编译器生成优化的二进制码。

本章的主要目的是告诉你，Scala类型系统是如何构建重用组件的。这里的 组件(component) 是一个 涵盖性术语(umbrella term)，如重用的库、类、模组、框架、web service。

构建重用的组件并不简单。通过可装配组件(assembling components)来构建软件的目标仍然是梦一般的存在，甚至不能扩展成为我们想要的。构建可重用组件的挑战是，还要它所引用的上下文环境。典型地，修改组件以适应当前的需求，最终带来的是一个组件的多个版本。这导致了维护上的问题。在本章的第一小节，你会学习使用Scala类型系统来构建简单的、可重用的组件。

¶主要内容：

1. SBT构建数据库。
2. webKanban中，通过Squeryl连接数据库。
3. 完善weKanban。

第六章，我们学习了如何使用SBT(Simple Build Tool)和Scalaz HTTP模组构建一个简单的Web应用。但这个应用在前面章节中未算竣工。原因是：构建一个函数式的Kanban应用，你的应用需要存储信息，即存储到持久化环境中。

注意 本章是第六章的延续，如果你未曾读过上一章节，一些本章节的相关部分很难跟进。

本章将完成上一个章节未完成的部分。你将学习如何检索数据并存储到关系型数据中。我将介绍一个Scala ORM(Object Relational Mapping)工具——Squeryl。并将探索如何安全地模拟数据字典。你将构建一个应用存储，以及在Kanban面板上展示该存储数据。在此过程中，你将探索Scala中如何与数据库工作。尽管本章关注于数据库方面的内容，也会介绍到Scalaz和SBT在数据库方面的使用。在构建应用之前，让我们回顾一下我们所需要实现weKanban应用的用户故事：

As a customer I want to create a new user story so that I can add stories to the ready phase.
As a developer I want to move cards (stories) from one phase to another to signal progress.

下面开始构建基于用户故事的weKanban应用。

¶主要内容：

1. 使用SBT(Simple Build Tool)工具构建项目。
2. Scalaz HTTP 模块。
3. 创建一个WEB应用程序weKanban。

本书的第二部分开始，将关注于Scala函数式编程的实际应用。现在早已有Web应用框架 Lift 和 Playframework 开构建web应用程序。但是本章介绍的是一个有趣的Scala http库——Scalaz。这个简单的库让你更加专注于函数式web应用的构建，而不用担心全栈的Web框架带来的复杂性问题。
HTTP 请求并产生一个HTTP响应。每个URL端点被映射到一个函数中，这个函数则用来处理request。因为你创建的是一个函数式风格，web应用程序的状态被显式地被指定在每个请求中。这样想的好处是，你可以将web应用程序进行组合或者使用高阶的组合。web框架的对应策略是无状态的和可变的。在本章内容中，你将学习到使用函数式编程来构建一个web应用框架。
要到达终点，首先要知道如何创建一个应用程序，如何使用。或许我们使用过了比较多的构建工具，但是比较标准的构建工具是SBT。这里将介绍如何配置和使用SBT来构建Scala Web项目。

¶主要内容

1. 为什么函数式编程
2. FP和OOP
3. 各种形式的函数
4. Monads以及应用实例

前面部分或多或少介绍了Scala的函数式编程，或在Scala的面向对象结构中混入了函数式编程。本章将专注于函数式编程概念，以及它们是如何在Scala中实现的。本章主要目的是使你对函数式编程有个清晰的感知，并帮助你编写函数式编程风格代码。

函数式编程 是一个编程范式，将计算行为模拟为表达式的求值。而这个表达式使用函数构建，不带有可变状态和副作用。函数式编程的起源是值得探索的¹ 。相信与否，函数式编程始于约1930，Alonzo Church 介绍的 λ演算² 。一个λ演算是一套用于研究函数定义、函数应用和递归的形式系统。λ演算的函数都是第一类值(first-class value）；函数可以接收其它函数作为参数，返回函数作为输出(高阶函数)。