1. 函数式领域建模:介绍.............................................................. 1
         1.1 什么是领域模型 .............................................................................................. 2
         1.2 领域驱动设计介绍 .......................................................................................... 4
         1.2.1 边界上下文 .......................................................................................... 4
         1.2.2 领域模型元素 ...................................................................................... 5
         1.2.3 领域对象的生命周期 .......................................................................... 8
         1.2.4 通用语言 ............................................................................................ 13
         1.3 函数化思想 .................................................................................................... 14
         1.3.1 哈,纯粹的乐趣 ................................................................................ 17
         1.3.2 纯函数组合 ........................................................................................ 21
         1.4 管理副作用 .................................................................................................... 26
         1.5 纯模型元素的优点 ........................................................................................ 28
         1.6 响应式领域模型 ............................................................................................ 31
         1.6.1 响应式模型的3+1 视图 .................................................................... 31
         1.6.2 揭穿“我的模型不能失败”的神话 ................................................ 32
         1.6.3 伸缩性与消息驱动 ............................................................................ 34
         1.7 事件驱动编程 ................................................................................................ 35
         1.7.1 事件与命令 ........................................................................................ 37
         1.7.2 领域事件 ............................................................................................ 38
         1.8 函数式遇上响应式 ........................................................................................ 40
         1.9 总结 ................................................................................................................ 41
         2 Scala 与函数式领域模型..........................................................42
         2.1 为什么是Scala ............................................................................................... 43
         2.2 静态类型与富领域模型 ................................................................................ 45
         2.3 领域行为的纯函数 ........................................................................................ 47
         2.3.1 回顾抽象的纯粹性 ............................................................................ 50
         2.3.2 引用透明的其他好处 ........................................................................ 53
         2.4 代数数据类型与不变性 ................................................................................ 53
         2.4.1 基础:和类型与乘积类型 ................................................................ 53
         2.4.2 模型中的ADT 结构数据 .................................................................. 56
         2.4.3 ADT 与模式匹配 ............................................................................... 56
         2.4.4 ADT 鼓励不变性 ............................................................................... 58
         2.5 局部用函数,全局用OO.............................................................................. 59
         2.5.1 Scala 中的模块 .................................................................................. 60
         2.6 用Scala 使模型具备响应性 .......................................................................... 64
         2.6.1 管理作用 ............................................................................................ 65
         2.6.2 管理失败 ............................................................................................ 65
         2.6.3 管理延迟 ............................................................................................ 67
         2.7 总结 ................................................................................................................ 69
         3 设计函数式领域模型...............................................................70
         3.1 API 设计的代数 ............................................................................................. 71
         3.1.1 为什么是代数方法 ............................................................................ 72
         3.2 为领域服务定义代数 .................................................................................... 72
         3.2.1 赋值抽象 ............................................................................................ 73
         3.2.2 组合抽象 ............................................................................................ 74
         3.2.3 类型的最终代数 ................................................................................ 76
         3.2.4 代数法则 ............................................................................................ 77
         3.2.5 代数解释程序 .................................................................................... 79
         3.3 领域模型生命周期中的模式 ........................................................................ 80
         3.3.1 工厂——对象从何处来..................................................................... 82
         3.3.2 智能构造器 ........................................................................................ 82
         3.3.3 通过更有表现力的类型进一步提升智能 ........................................ 84
         3.3.4 用代数数据类型聚合 ........................................................................ 86
         3.3.5 用透镜更新聚合功能 ........................................................................ 88
         3.3.6 仓储与解耦的永恒艺术 .................................................................... 94
         3.3.7 高效地使用生命周期模式——结论............................................... 101
         3.4 总结 .............................................................................................................. 102
         4 领域模型的函数式模式.......................................................... 103
         4.1 模式——代数、函数、类型的聚合 ........................................................... 104
         4.1.1 领域模型中的挖掘模式 .................................................................. 106
         4.1.2 用函数式模式使领域模型参数化 .................................................. 107
         4.2 强类型函数式编程中计算的基本模式 ...................................................... 112
         4.2.1 函子——建立模式........................................................................... 112
         4.2.2 加强版函子模式 .............................................................................. 114
         4.2.3 单子作用——applicative 模式的变体 ............................................ 121
         4.3 如何用模式对领域模型进行塑形 .............................................................. 130
         4.4 用代数、类型和模式演进API ................................................................... 134
         4.4.1 代数——第一稿............................................................................... 136
         4.4.2 改进代数 .......................................................................................... 137
         4.4.3 最终组合——采用类型................................................................... 138
         4.5 用模式和类型增强领域的不变性 .............................................................. 139
         4.5.1 贷款处理模型 .................................................................................. 139
         4.5.2 使非法状态不可表示 ...................................................................... 141
         4.6 总结 .............................................................................................................. 142
         5 领域模型的模块化................................................................ 144
         5.1 将领域模型模块化 .......................................................................................... 145
         5.2 模块化的领域模型——案例学习 ............................................................... 146
         5.2.1 模块的解剖 ...................................................................................... 147
         5.2.2 模块的构成 ...................................................................................... 154
         5.2.3 模块的物理组织 .............................................................................. 155
         5.2.4 模块鼓励组合 .................................................................................. 156
         5.2.5 领域模型中的模块化——结论....................................................... 157
         5.3 类型类模式——模块化的多态行为 ........................................................... 157
         5.4 边界上下文的聚合模块 .............................................................................. 160
         5.4.1 模块与边界上下文 .......................................................................... 161
         5.4.2 边界上下文间的通信 ...................................................................... 162
         5.5 模块化的另一个模式——free monad ......................................................... 163
         5.5.1 账户存储 .......................................................................................... 163
         5.5.2 使它免费 .......................................................................................... 165
         5.5.3 账户存储——free monad ................................................................ 167
         5.5.4 free monad 解释程序 ....................................................................... 169
         5.5.5 free monad——重点回顾 ................................................................ 172
         5.6 总结 .............................................................................................................. 173
         6 响应式模型.......................................................................... 174
         6.1 响应式领域模型 .......................................................................................... 175
         6.2 使用future 的非阻塞API 设计 .................................................................. 177
         6.2.1 异步作为堆叠作用 .......................................................................... 178
         6.2.2 基于monad 转换器的实现 ............................................................. 181
         6.2.3 用并行存取降低延迟——一种响应式模式 .................................. 183
         6.2.4 使用scalaz.concurrent.Task 作为响应式构造 ................................ 187
         6.3 明确的异步消息传递 .................................................................................. 189
         6.4 流模式 .......................................................................................................... 191
         6.4.1 一个案例 .......................................................................................... 191
         6.4.2 领域管道图 ...................................................................................... 195
         6.4.3 后端压力处理 .................................................................................. 197
         6.5 actor 模型 ..................................................................................................... 198
         6.5.1 领域模型与actor ............................................................................. 199
         6.6 总结 .............................................................................................................. 203
         7 响应式流建模....................................................................... 205
         7.1 响应式流模型 .............................................................................................. 206
         7.2 何时使用流模型 .......................................................................................... 207
         7.3 领域用例 ...................................................................................................... 208
         7.4 基于流的领域交互 ...................................................................................... 208
         7.5 实现:前台 .................................................................................................. 210
         7.6 实现:后台 .................................................................................................. 211
         7.7 流模型的主要结论 ...................................................................................... 214
         7.8 使模型具有弹性 .......................................................................................... 215
         7.8.1 使用Akka Streams 监管 .................................................................. 216
         7.8.2 冗余集群 .......................................................................................... 217
         7.8.3 数据的持久化 .................................................................................. 217
         7.9 基于流的领域模型与响应式原则 .............................................................. 219
         7.10 总结 ............................................................................................................ 220
         8 响应式持久化与事件溯源...................................................... 221
         8.1 领域模型的持久化 ...................................................................................... 222
         8.2 关注点分离 .................................................................................................. 224
         8.2.1 持久化的读/ 写模型 ....................................................................... 225
         8.2.2 命令查询责任分离 .......................................................................... 226
         8.3 事件溯源 ..................................................................................................... 228
         8.3.1 事件溯源领域模型中的命令和事件 .............................................. 229
         8.3.2 实现CQRS 和事件溯源 .................................................................. 231
         8.4 实现事件溯源的领域模型(函数式) ........................................................ 232
         8.4.1 作为头等实体的事件 ...................................................................... 233
         8.4.2 命令是事件上的free monad .......................................................... 235
         8.4.3 解释程序——隐藏所有有趣的东西............................................... 237
         8.4.4 投影——读取端模型....................................................................... 242
         8.4.5 事件存储 .......................................................................................... 243
         8.4.6 分布式CQRS——一个短信 ........................................................... 243
         8.4.7 实现的总结 ...................................................................................... 244
         8.5 其他持久化模型 .......................................................................................... 245
         8.5.1 将聚合作为ADT 映射到关系型表 ................................................ 245
         8.5.2 操作数据(函数式) ........................................................................ 247
         8.5.3 到Akka Streams 管道的响应式获取 .............................................. 248
         8.6 总结 .............................................................................................................. 249
         9 测试领域模型...................................................................... 250
         9.1 测试领域模型概述 .............................................................................................. 251
         9.2 设计可测试的领域模型 .............................................................................. 252
         9.2.1 解耦副作用 ...................................................................................... 253
         9.2.2 为领域函数提供自定义解释程序 .................................................. 254
         9.2.3 实现参数化与测试 .......................................................................... 255
         9.3 基于xUnit 的测试 ....................................................................................... 256
         9.4 回顾模型的代数 .......................................................................................... 257
         9.5 基于属性的测试 .......................................................................................... 258
         9.5.1 建模属性 .......................................................................................... 258
         9.5.2 验证领域模型中的属性 .................................................................. 259
         9.5.3 数据生成器 ...................................................................................... 264
         9.5.4 是否比基于xUnit 的测试更好 ....................................................... 266
         9.6 总结 .............................................................................................................. 267
         10 核心思想与原则................................................................ 268
         10.1 回顾 ............................................................................................................ 268
         10.2 函数式领域建模的核心原则 .................................................................... 269
         10.2.1 表达式思想 .................................................................................... 269
         10.2.2 早抽象, 晚赋值 ............................................................................. 270
         10.2.3 使用合适的抽象 ............................................................................ 270
         10.2.4 发布要做什么,在组合器中隐藏如何做 .................................... 270
         10.2.5 从实现中解耦代数 ........................................................................ 271
         10.2.6 隔离边界上下文 ............................................................................ 271
         10.2.7 偏向future 而不是actor ................................................................ 271
         10.3 展望未来 .................................................................................................... 272
      · · · · · ·     (
收起)