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

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



克里斯·漢森(Chris Hanson)，目前在Datera公司擔任技術人員,他曾在麻省理工學院工作多年，是MIT/GNU Scheme系統的主要開發者。他還曾在谷歌工作10年。

傑拉爾德·傑伊·薩斯曼(Gerald Jay Sussman)，麻省理工學院松下電氣工程教授。自1964年以來，他一直參與麻省理工學院的人工智能研究。他的研究重點是了解科學家和工程師使用的問題解決策略，目標是自動化部分過程並將其形式化，以提供更有效的科學和工程教育方法。他還從事計算機語言、計算機體系結構和VLSI設計方面的工作。他是IEEE終身會士、NAE院士、AAAI會士、ACM會士、AAAS會士。

克里斯·漢森（Chris Hanson）目前在Datera公司擔任技術人員,他曾在麻省理工學院工作多年，是MIT/GNU Scheme系統的主要開發者。他還曾在穀歌工作10年。

傑拉爾德·傑伊·薩斯曼（Gerald Jay Sussman）麻省理工學院松下電氣工程教授。自1964年以來，他一直參與麻省理工學院的人工智能研究。他的研究重點是瞭解科學家和工程師使用的問題解決策略，目標是自動化部分過程並將其形式化，以提供更有效的科學和工程教育方法。他還從事計算機語言、計算機體系結構和VLSI設計方面的工作。他是IEEE終身會士、NAE院士、AAAI會士、ACM會士、 AAAS會士。