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

定　價：￥99.00

作　者：	[美]克里斯·漢森 [美]杰拉爾德·杰伊·薩斯曼
出版社：	機械工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥74.20)

ISBN：	9787111747048	出版時間：	2024-03-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　本書主要介紹如何利用數(shù)學符號操作、基于規(guī)則的系統(tǒng)和通用程序構(gòu)建靈活的軟件，并利用依賴系統(tǒng)跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構(gòu)建易于擴展的系統(tǒng)。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術(shù)語重寫系統(tǒng)，然后通過合一展示類型推理的實現(xiàn)。第5章探討解釋和編譯。第6章展示如何構(gòu)造分層數(shù)據(jù)和分層程序的系統(tǒng)，并用各種元數(shù)據(jù)注釋其中的數(shù)據(jù)項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式范式。

作者簡介

　　克里斯·漢森（Chris Hanson）目前在Datera公司擔任技術(shù)人員，他曾在麻省理工學院工作多年，是MIT/GNU Scheme系統(tǒng)的主要開發(fā)者。他還曾在谷歌工作10年。杰拉爾德·杰伊·薩斯曼（Gerald Jay Sussman）麻省理工學院松下電氣工程教授。自1964年以來，他一直參與麻省理工學院的人工智能研究。他的研究重點是了解科學家和工程師使用的問題解決策略，目標是自動化部分過程并將其形式化，以提供更有效的科學和工程教育方法。他還從事計算機語言、計算機體系結(jié)構(gòu)和VLSI設(shè)計方面的工作。他是IEEE終身會士、NAE院士、AAAI會士、ACM會士、 AAAS會士。

圖書目錄

目錄
譯者序推薦序前　言
致　謝
第 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 正則表達式 25
2.2.1 一種正則表達式組合語言 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ù)的導數(shù) 81
3.3.3 一些技術(shù)細節(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 應用：類型推斷 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 具有非嚴格參數(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 能力與責任 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 提供正當性 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 傳播導致簡并 277
后　記 279 附錄 A　支持軟件 281 附錄 B　 Scheme 編程語言 283 參考文獻 297