函數(shù)響應(yīng)式領(lǐng)域建模

1. 函數(shù)式領(lǐng)域建模：介紹.............................................................. 1
1.1　什么是領(lǐng)域模型 .............................................................................................. 2
1.2　領(lǐng)域驅(qū)動設(shè)計介紹 .......................................................................................... 4
1.2.1　邊界上下文 .......................................................................................... 4
1.2.2　領(lǐng)域模型元素 ...................................................................................... 5
1.2.3　領(lǐng)域?qū)ο蟮纳芷?.......................................................................... 8
1.2.4　通用語言 ............................................................................................ 13
1.3　函數(shù)化思想 .................................................................................................... 14
1.3.1　哈，純粹的樂趣 ................................................................................ 17
1.3.2　純函數(shù)組合 ........................................................................................ 21
1.4　管理副作用 .................................................................................................... 26
1.5　純模型元素的優(yōu)點 ........................................................................................ 28
1.6　響應(yīng)式領(lǐng)域模型 ............................................................................................ 31
1.6.1　響應(yīng)式模型的3 1 視圖 .................................................................... 31
1.6.2　揭穿“我的模型不能失敗”的神話 ................................................ 32
1.6.3　伸縮性與消息驅(qū)動 ............................................................................ 34
1.7　事件驅(qū)動編程 ................................................................................................ 35
1.7.1　事件與命令 ........................................................................................ 37
1.7.2　領(lǐng)域事件 ............................................................................................ 38
1.8　函數(shù)式遇上響應(yīng)式 ........................................................................................ 40
1.9　總結(jié) ................................................................................................................ 41
2　Scala 與函數(shù)式領(lǐng)域模型..........................................................42
2.1　為什么是Scala ............................................................................................... 43
2.2　靜態(tài)類型與富領(lǐng)域模型 ................................................................................ 45
2.3　領(lǐng)域行為的純函數(shù) ........................................................................................ 47
2.3.1　回顧抽象的純粹性 ............................................................................ 50
2.3.2　引用透明的其他好處 ........................................................................ 53
2.4　代數(shù)數(shù)據(jù)類型與不變性 ................................................................................ 53
2.4.1　基礎(chǔ)：和類型與乘積類型 ................................................................ 53
2.4.2　模型中的ADT 結(jié)構(gòu)數(shù)據(jù) .................................................................. 56
2.4.3　ADT 與模式匹配 ............................................................................... 56
2.4.4　ADT 鼓勵不變性 ............................................................................... 58
2.5　局部用函數(shù)，全局用OO.............................................................................. 59
2.5.1　Scala 中的模塊 .................................................................................. 60
2.6　用Scala 使模型具備響應(yīng)性 .......................................................................... 64
2.6.1　管理作用 ............................................................................................ 65
2.6.2　管理失敗 ............................................................................................ 65
2.6.3　管理延遲 ............................................................................................ 67
2.7　總結(jié) ................................................................................................................ 69
3　設(shè)計函數(shù)式領(lǐng)域模型...............................................................70
3.1　API 設(shè)計的代數(shù) ............................................................................................. 71
3.1.1　為什么是代數(shù)方法 ............................................................................ 72
3.2　為領(lǐng)域服務(wù)定義代數(shù) .................................................................................... 72
3.2.1　賦值抽象 ............................................................................................ 73
3.2.2　組合抽象 ............................................................................................ 74
3.2.3　類型的*終代數(shù) ................................................................................ 76
3.2.4　代數(shù)法則 ............................................................................................ 77
3.2.5　代數(shù)解釋程序 .................................................................................... 79
3.3　領(lǐng)域模型生命周期中的模式 ........................................................................ 80
3.3.1　工廠——對象從何處來..................................................................... 82
3.3.2　智能構(gòu)造器 ........................................................................................ 82
3.3.3　通過更有表現(xiàn)力的類型進(jìn)一步提升智能 ........................................ 84
3.3.4　用代數(shù)數(shù)據(jù)類型聚合 ........................................................................ 86
3.3.5　用透鏡更新聚合功能 ........................................................................ 88
3.3.6　倉儲與解耦的永恒藝術(shù) .................................................................... 94
3.3.7　高效地使用生命周期模式——結(jié)論............................................... 101
3.4　總結(jié) .............................................................................................................. 102
4　領(lǐng)域模型的函數(shù)式模式.......................................................... 103
4.1　模式——代數(shù)、函數(shù)、類型的聚合 ........................................................... 104
4.1.1　領(lǐng)域模型中的挖掘模式 .................................................................. 106
4.1.2　用函數(shù)式模式使領(lǐng)域模型參數(shù)化 .................................................. 107
4.2　強類型函數(shù)式編程中計算的基本模式 ...................................................... 112
4.2.1　函子——建立模式........................................................................... 112
4.2.2　加強版函子模式 .............................................................................. 114
4.2.3　單子作用——applicative 模式的變體 ............................................ 121
4.3　如何用模式對領(lǐng)域模型進(jìn)行塑形 .............................................................. 130
4.4　用代數(shù)、類型和模式演進(jìn)API ................................................................... 134
4.4.1　代數(shù)——*稿............................................................................... 136
4.4.2　改進(jìn)代數(shù) .......................................................................................... 137
4.4.3　*終組合——采用類型................................................................... 138
4.5　用模式和類型增強領(lǐng)域的不變性 .............................................................. 139
4.5.1　貸款處理模型 .................................................................................. 139
4.5.2　使非法狀態(tài)不可表示 ...................................................................... 141
4.6　總結(jié) ...............................