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

定　價(jià)：￥99.00

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

購(gòu)買這本書可以去

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

ISBN：	9787111747048	出版時(shí)間：	2024-03-01	包裝：	平裝-膠訂
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

目錄
譯者序推薦序前　言
致　謝
第 1 章　自然和設(shè)計(jì)中的靈活性 1
1.1 計(jì)算體系結(jié)構(gòu) 3
1.2 靈活的智能組件 4
1.3 冗余和簡(jiǎn)并 7
1.4 探索行為 9
1.5 靈活性的成本 10
第 2 章　領(lǐng)域?qū)Ｓ谜Z(yǔ)言 13
2.1 組合器 13
2.1.1 函數(shù)組合器 14
2.1.2 組合器和形體構(gòu)造 24
2.2 正則表達(dá)式 25
2.2.1 一種正則表達(dá)式組合語(yǔ)言 26
2.2.2 翻譯器的實(shí)現(xiàn) 26
2.3 包裝器 32
2.3.1 定制化包裝器 34
2.3.2 實(shí)現(xiàn)定制器 35
2.3.3 適配器 36
2.4 抽象領(lǐng)域模型 37
2.4.1 單一化實(shí)現(xiàn) 38
2.4.2 領(lǐng)域模型分解 41
2.5 小結(jié) 46
第 3 章算術(shù) 主題 48
3.1 組合算術(shù) 48
XIII
3.1.1 一個(gè)簡(jiǎn)單的 ODE 積分器 48
3.1.2 調(diào)整算術(shù)運(yùn)算符 50
3.1.3 組合運(yùn)算 52
3.1.4 算術(shù)函數(shù) 57
3.1.5 組合器問(wèn)題 60
3.2 可擴(kuò)展的通用程序 63
3.2.1 通用運(yùn)算 65
3.2.2 構(gòu)建取決于順序 68
3.2.3 實(shí)現(xiàn)通用程序 70
3.3 示例：自動(dòng)微分 75
3.3.1 自動(dòng)微分的工作原理 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 示例：冒險(xiǎn)游戲 101
3.6 小結(jié) 113
第 4 章模式匹配 115
4.1 模式 115
4.2 項(xiàng)重寫 117
4.2.1 代數(shù)中的段變量 118
4.2.2 規(guī)則系統(tǒng)的實(shí)現(xiàn) 120
4.2.3 旁白：魔術(shù)宏 122
4.2.4 有向模式調(diào)用 123
4.3 匹配器設(shè)計(jì) 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 添加段變量— 一個(gè)實(shí)驗(yàn) 150
4.5 圖上的模式匹配 155
4.5.1 將列表表示為圖 155
4.5.2 實(shí)現(xiàn)圖 156
4.5.3 圖上的匹配 158
4.5.4 棋盤和可交換圖形視圖 160
4.5.5 棋步 164
4.5.6 實(shí)現(xiàn)圖形匹配 167
4.6 小結(jié) 172
第 5 章評(píng) 估 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 實(shí)現(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 分層的實(shí)現(xiàn) 226
6.2.1 分層數(shù)據(jù) 227
6.2.2 分層程序 229
6.3 分層算法 232
6.3.1 單位運(yùn)算 233
XV
6.4 使用依賴項(xiàng)注釋值 237
6.4.1 支持層 239
6.4.2 提供正當(dāng)性 243
6.5 分層的前景 243
第 7 章　傳　播 245
7.1 示例：到恒星的距離 246
7.2 傳播機(jī)制 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 解決組合問(wèn)題 273
7.6 傳播導(dǎo)致簡(jiǎn)并 277
后　記 279 附錄 A　支持軟件 281 附錄 B　 Scheme 編程語(yǔ)言 283 參考文獻(xiàn) 297