目 錄
第Ⅰ部分 核心概念
第1章 介紹函數式編程 3
1.1 什么是函數式編程 4
1.1.1 函數作為類值 4
1.1.2 避免狀態(tài)突變 4
1.1.3 編寫具有強力保證的程序 5
1.2 C#的函數式語言 8
1.2.1 LINQ的函數式性質 9
1.2.2 C# 6和C# 7中的函數式特性 10
1.2.3 未來的C#將更趨函數化 13
1.3 函數思維 13
1.3.1 映射函數 13
1.3.2 在C#中表示函數 14
1.4 高階函數 18
1.4.1 依賴于其他函數的函數 18
1.4.2 適配器函數 20
1.4.3 創(chuàng)建其他函數的函數 20
1.5 使用HOF避免重復 21
1.5.1 將安裝和拆卸封裝到HOF中 23
1.5.2 將using語句轉換為HOF 24
1.5.3 HOF的權衡 25
1.6 函數式編程的好處 27
練習 27
小結 28
第2章 為什么函數純潔性很重要 29
2.1 什么是函數的純潔性 29
2.1.1 純潔性和副作用 30
2.1.2 管理副作用的策略 31
2.2 純潔性和并發(fā)性 33
2.2.1 純函數可良好地并行化 34
2.2.2 并行化不純函數 35
2.2.3 避免狀態(tài)的突變 36
2.3 純潔性和可測性 38
2.3.1 實踐：一個驗證場景 39
2.3.2 在測試中引入不純函數 40
2.3.3 為什么很難測試不純函數 42
2.3.4 參數化單元測試 43
2.3.5 避免標頭接口 44
2.4 純潔性和計算的發(fā)展 47
練習 47
小結 48
第3章 設計函數簽名和類型 49
3.1 函數簽名設計 49
3.1.1 箭頭符號 50
3.1.2 簽名的信息量有多大 51
3.2 使用數據對象捕獲數據 52
3.2.1 原始類型通常不夠具體 53
3.2.2 使用自定義類型約束輸入 53
3.2.3 編寫“誠實的”函數 55
3.2.4 使用元組和對象來組合值 56
3.3 使用Unit為數據缺失建模 58
3.3.1 為什么void不理想 58
3.3.2 使用Unit彌合Action和Func之間的差異 59
3.4 使用Option為數據可能缺失建模 61
3.4.1 你每天都在使用糟糕的API 61
3.4.2 Option類型的介紹 62
3.4.3 實現Option 65
3.4.4 通過使用Option而不是null來獲得健壯性 68
3.4.5 Option作為偏函數的自然結果類型 69
練習 73
小結 74
第4章 函數式編程中的模式 77
4.1 將函數應用于結構的內 部值 77
4.1.1 將函數映射到序列上 77
4.1.2 將函數映射到Option 79
4.1.3 Option是如何提高抽象層級的 81
4.1.4 函子 82
4.2 使用ForEach執(zhí)行副作用 83
4.3 使用Bind來鏈接函數 85
4.3.1 將返回Option的函數結合起來 85
4.3.2 使用Bind平鋪嵌套列表 87
4.3.3 實際上，這被稱為單子 88
4.3.4 Return函數 88
4.3.5 函子和單子之間的關系 89
4.4 使用Where過濾值 90
4.5 使用Bind結合Option和IEnumerable 91
4.6 在不同抽象層級上編碼 92
4.6.1 常規(guī)值與高級值 93
4.6.2 跨越抽象層級 94
4.6.3 重新審視Map與Bind 95
4.6.4 在正確的抽象層級上
工作 96
練習 96
小結 97
第5章 使用函數組合設計程序 99
5.1 函數組合 99
5.1.1 復習函數組合 100
5.1.2 方法鏈 101
5.1.3 高級值界域中的組合 101
5.2 從數據流的角度進行 思考 102
5.2.1 使用LINQ的可組合
API 102
5.2.2 編寫可組合性更好的函數 103
5.3 工作流編程 105
5.3.1 關于驗證的一個簡單
工作流 106
5.3.2 以數據流的思想進行重構 107
5.3.3 組合帶來了更大的靈活性 108
5.4 介紹函數式領域建模 109
5.5 端到端的服務器端 工作流 110
5.5.1 表達式與語句 112
5.5.2 聲明式與命令式 112
5.5.3 函數式分層 113
練習 115
小結 115
第Ⅱ部分 函數式風格
第6章 函數式錯誤處理 119
6.1 表示輸出的更安全方式 120
6.1.1 使用Either捕獲錯誤細節(jié) 120
6.1.2 處理Either的核心函數 123
6.1.3 比較Option和Either 124
6.2 鏈接操作可能失敗 125
6.3 驗證：Either的一個完美用例 127
6.3.1 為錯誤選擇合適的表示法 128
6.3.2 定義一個基于Either的API 129
6.3.3 添加驗證邏輯 130
6.4 將輸出提供給客戶端應用程序 131
6.4.1 公開一個類似Option的接口 132
6.4.2 公開一個類似Either的接口 134
6.4.3 返回一個DTO結果 134
6.5 Either的變體 136
6.5.1 在不同的錯誤表示之間進行改變 136
6.5.2 Either的特定版本 137
6.5.3 重構Validation和Exceptional 138
6.5.4 保留異常 141
練習 142
小結 142
第7章 用函數構造一個應用程序 145
7.1 偏函數應用：逐個提供參數 146
7.1.1 手動啟用偏函數應用 147
7.1.2 歸納偏函數應用 148
7.1.3 參數的順序問題 150
7.2 克服方法解析的怪癖 150
7.3 柯里化函數：優(yōu)化偏函數應用 152
7.4 創(chuàng)建一個友好的偏函數應用API 155
7.4.1 可文檔化的類型 156
7.4.2 具化數據訪問函數 157
7.5 應用程序的模塊化及
組合 159
7.5.1 OOP中的模塊化 160
7.5.2 FP中的模塊化 162
7.5.3 比較兩種方法 164
7.5.4 組合應用程序 165
7.6 將列表壓縮為單個值 166
7.6.1 LINQ的Aggregate方法 166
7.6.2 聚合驗證結果 168
7.6.3 收獲驗證錯誤 169
練習 170
小結 171
第8章 有效地處理多參函數 173
8.1 高級界域中的函數應用程序 174
8.1.1 理解應用式 176
8.1.2 提升函數 177
8.1.3 介紹基于屬性的測試 179
8.2 函子、應用式、單子 181
8.3 單子定律 182
8.3.1 右恒等元 183
8.3.2 左恒等元 183
8.3.3 結合律 184
8.3.4 對多參函數使用Bind 185
8.4 通過對任何單子使用LINQ來提高可讀性 186
8.4.1 對任意函子使用LINQ 186
8.4.2 對任意單子使用LINQ 188
8.4.3 let、where及其他LINQ子句 191
8.5 何時使用Bind或Apply 192
8.5.1 具有智能構造函數的驗證 192
8.5.2 使用應用式流來收集錯誤 194
8.5.3 使用單子流來快速失敗 195
練習 196
小結 196
第9章 關于數據的函數式思考 199
9.1 狀態(tài)突變的陷阱 200
9.2 理解狀態(tài)、標識及變化 202
9.2.1 有些事物永遠不會變化 203
9.2.2 表示非突變的變化 205
9.3 強制不可變性 207
9.3.1 永遠不可變 209
9.3.2 無樣板代碼的拷貝方法的可行性 210
9.3.3 利用F#處理數據類型 212
9.3.4 比較不變性的策略：一場丑陋的比賽 213
9.4 函數式數據結構簡介 214
9.4.1 經典的函數式鏈表 215
9.4.2 二叉樹 219
練習 223
小結 224
第10章 事件溯源：持久化的函數 式方法 225
10.1 關于數據存儲的函數式思考 226
10.1.1 為什么數據存儲只能追加 226
10.1.2 放松，并忘卻存儲狀態(tài) 227
10.2 事件溯源的基礎知識 228
10.2.1 表示事件 228
10.2.2 持久化事件 229
10.2.3 表示狀態(tài) 230
10.2.4 一個模式匹配的插曲 231
10.2.5 表示狀態(tài)轉換 234
10.2.6 從過去的事件中重建當前狀態(tài) 235
10.3 事件溯源系統的架構 236
10.3.1 處理命令 237
10.3.2 處理事件 240
10.3.3 添加驗證 241
10.3.4 根據事件創(chuàng)建數據的視圖 243
10.4 比較不可變存儲的不同方法 246
10.4.1 Datomic與
Event Store 247
10.4.2 你的領域是否受事件驅動？ 247
小結 248
第Ⅲ部分 高級技術
第11章 惰性計算、延續(xù)以及單子組合之美 251
11.1 惰性的優(yōu)點 251
11.1.1 用于處理Option的惰性API 252
11.1.2 組合惰性計算 254
11.2 使用Try進行異常處理 256
11.2.1 表示可能失敗的計算 257
11.2.2 從JSON對象中安全地提取信息 257
11.2.3 組合可能失敗的計算 259
11.2.4 單子組合：是什么意思呢？ 260
11.3 為數據庫訪問創(chuàng)建中間件管道 261
11.3.1 組合執(zhí)行安裝/拆卸的函數 261
11.3.2 逃離厄運金字塔的秘方 263
11.3.3 捕獲中間件函數的本質 263
11.3.4 實現中間件的查詢模式 265
11.3.5 添加計時操作的中間件 268
11.3.6 添加管理數據庫事務的中間件 269
小結 271
第12章 有狀態(tài)的程序和計算 273
12.1 管理狀態(tài)的程序 274
12.1.1 維護所檢索資源的緩存 275
12.1.2 重構可測試性和錯誤處理 277
12.1.3 有狀態(tài)的計算 278
12.2 一種用于生成隨機數據的語言 279
12.2.1 生成隨機整數 280
12.2.2 生成其他基元 281
12.2.3 生成復雜的結構 282
12.3 有狀態(tài)計算的通用模式 284
小結 287
第13章 使用異步計算 289
13.1 異步計算 290
13.1.1 對異步的需要 290
13.1.2 用Task表示異步操作 291
13.1.3 Task作為一個將來值的容器 292
13.1.4 處理失敗 294
13.1.5 一個用于貨幣轉換的HTTP API 296
13.1.6 如果失敗，請再試幾次 297
13.1.7 并行運行異步操作 297
13.2 遍歷：處理高級值列表 299
13.2.1 使用單子的Traverse來驗證值列表 301
13.2.2 使用應用式Traverse來收集驗證錯誤 302
13.2.3 將多個驗證器應用于單個值 304
13.2.4 將Traverse與Task一起使用以等待多個結果 305
13.2.5 為單值結構定義Traverse 306
13.3 結合異步和驗證(或其他任何兩個單子效果) 308
13.3.1 堆疊單子的問題 308
13.3.2 減少效果的數量 310
13.3.3 具有一個單子堆疊的LINQ表達式 311
小結 312
第14章 數據流和Reactive Extensions 315
14.1 用IObservable表示數據流 316
14.1.1 時間上的一個序列的值 316
14.1.2 訂閱IObservable 317
14.2 創(chuàng)建IObservable 318
14.2.1 創(chuàng)建一個定時器 319
14.2.2 使用Subject來告知IObservable應何時發(fā)出信號 320
14.2.3 從基于回調的訂閱中創(chuàng)建IObservable 320
14.2.4 由更簡單的結構創(chuàng)建IObservable 321
14.3 轉換和結合數據流 323
14.3.1 流的轉換 323
14.3.2 結合和劃分流 325
14.3.3 使用IObservable進行錯誤處理 327
14.3.4 融會貫通 329
14.4 實現貫穿多個事件的邏輯 330
14.4.1 檢測按鍵順序 330
14.4.2 對事件源作出反應 333
14.4.3 通知賬戶何時透支 335
14.5 應該何時使用IObservable？ 337
小結 338
第15章 并發(fā)消息傳遞 339
15.1 對共享可變狀態(tài)的需要 339
15.2 理解并發(fā)消息傳遞 341
15.2.1 在C#中實現代理 343
15.2.2 開始使用代理 344
15.2.3 使用代理處理并發(fā)請求 346
15.2.4 代理與角色 349
15.3 “函數式API”與“基于代理的實現” 350
15.3.1 代理作為實現細節(jié) 351
15.3.2 將代理隱藏于常規(guī)API的背后 352
15.4 LOB應用程序中的并發(fā)消息傳遞 353
15.4.1 使用代理來同步對賬戶數據的訪問 354
15.4.2 保管賬戶的注冊表 356
15.4.3 代理不是一個對象 357
15.4.4 融會貫通 359
小結 361
結束語：接下來呢？ 363
鄂公網安備 42010302001612號 