函数响应式领域建模

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

......(更多)