軟件靈活性設(shè)計：如何避免陷入編程困境

目 錄
譯者序推薦序前　言
致　謝
第 1 章　 自然和設(shè)計中的靈活性 1
1.1 計算體系結(jié)構(gòu) 3
1.2 靈活的智能組件 4
1.3 冗余和簡并 7
1.4 探索行為 9
1.5 靈活性的成本 10
第 2 章　 領(lǐng)域?qū)Ｓ谜Z言 13
2.1 組合器 13
2.1.1 函數(shù)組合器 14
2.1.2 組合器和形體構(gòu)造 24
2.2 正則表達(dá)式 25
2.2.1 一種正則表達(dá)式組合語言 26
2.2.2 翻譯器的實現(xiàn) 26
2.3 包裝器 32
2.3.1 定制化包裝器 34
2.3.2 實現(xiàn)定制器 35
2.3.3 適配器 36
2.4 抽象領(lǐng)域模型 37
2.4.1 單一化實現(xiàn) 38
2.4.2 領(lǐng)域模型分解 41
2.5 小結(jié) 46
第 3 章 算 術(shù) 主題 48
3.1 組合算術(shù) 48
XIII
3.1.1 一個簡單的 ODE 積分器 48
3.1.2 調(diào)整算術(shù)運算符 50
3.1.3 組合運算 52
3.1.4 算術(shù)函數(shù) 57
3.1.5 組合器問題 60
3.2 可擴展的通用程序 63
3.2.1 通用運算 65
3.2.2 構(gòu)建取決于順序 68
3.2.3 實現(xiàn)通用程序 70
3.3 示例：自動微分 75
3.3.1 自動微分的工作原理 77
3.3.2 n 元函數(shù)的導(dǎo)數(shù) 81
3.3.3 一些技術(shù)細(xì)節(jié) 82
3.3.4 微分參數(shù)的文字函數(shù) 90
3.4 高效的通用程序 91
3.4.1 trie 91
3.4.2 緩存 96
3.5 高效的用戶自定義類型 97
3.5.1 謂詞的類型 97
3.5.2 謂詞之間的關(guān)系 99
3.5.3 謂詞調(diào)度關(guān)鍵字 99
3.5.4 示例：冒險游戲 101
3.6 小結(jié) 113
第 4 章 模式匹配 115
4.1 模式 115
4.2 項重寫 117
4.2.1 代數(shù)中的段變量 118
4.2.2 規(guī)則系統(tǒng)的實現(xiàn) 120
4.2.3 旁白：魔術(shù)宏 122
4.2.4 有向模式調(diào)用 123
4.3 匹配器設(shè)計 124
4.3.1 編譯模式 130
4.3.2 匹配變量限制 132
4.4 合一匹配 135
XIV
4.4.1 合一的工作原理 137
4.4.2 應(yīng)用：類型推斷 143
4.4.3 類型推斷的工作原理 144
4.4.4 添加段變量— 一個實驗 150
4.5 圖上的模式匹配 155
4.5.1 將列表表示為圖 155
4.5.2 實現(xiàn)圖 156
4.5.3 圖上的匹配 158
4.5.4 棋盤和可交換圖形視圖 160
4.5.5 棋步 164
4.5.6 實現(xiàn)圖形匹配 167
4.6 小結(jié) 172
第 5 章 評 估 174
5.1 通用 eval/apply 解釋器 174
5.1.1 eval 175
5.1.2 apply 182
5.2 具有非嚴(yán)格參數(shù)的程序 187
5.3 編譯為可執(zhí)行程序 194
5.4 探索行為 202
5.4.1 amb 203
5.4.2 實現(xiàn) amb 205
5.5 探索潛在連續(xù) 210
5.5.1 作為非本地出口的連續(xù) 213
5.5.2 控制權(quán)的非本地轉(zhuǎn)移 214
5.5.3 從連續(xù)到 amb 216
5.6 能力與責(zé)任 223
第 6 章 分 層 225
6.1 使用分層 225
6.2 分層的實現(xiàn) 226
6.2.1 分層數(shù)據(jù) 227
6.2.2 分層程序 229
6.3 分層算法 232
6.3.1 單位運算 233
XV
6.4 使用依賴項注釋值 237
6.4.1 支持層 239
6.4.2 提供正當(dāng)性 243
6.5 分層的前景 243
第 7 章　 傳　 播 245
7.1 示例：到恒星的距離 246
7.2 傳播機制 257
7.2.1 單元 257
7.2.2 傳播器 259
7.3 多種不同的世界觀 261
7.4 合并值 263
7.4.1 合并基值 263
7.4.2 合并支持值 264
7.4.3 合并值集 265
7.5 搜索可能的世界 266
7.5.1 依賴定向回溯 268
7.5.2 解決組合問題 273
7.6 傳播導(dǎo)致簡并 277
后　 記 279 附錄 A　 支持軟件 281 附錄 B　 Scheme 編程語言 283 參考文獻(xiàn) 297