軟件靈活性設計：如何避免陷入編程困境
[英]克里斯·漢森 [美]傑拉爾德·傑伊·薩斯曼
159人在讀
18.7萬字總字數
¥37.2定價
[英]克里斯·漢森 [美]傑拉爾德·傑伊·薩斯曼
本書主要介紹如何利用數學符號操作、基於規則的系統和通用程序構建靈活的軟件，並利用依賴系統跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構建易於擴展的系統。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啓用術語重寫系統，然後通過合一展示類型推理的實現。第5章探討解釋和編譯。第6章展示如何構造分層數據和分層程序的系統，並用各種元數據註釋其中的數據項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式範式。
- 軟件靈活性設計.如何避免陷入編程困境 2024.3; 靈活軟件.利用數學符號操作、基於規則的系統和通用程序.利用依賴系統跟蹤、解釋和控制回溯 編程哲學.靈活性的概念 普適方法 謂詞分派 符號模式匹配(啓用術語重寫系統->通過合一展示類型推理) 解釋和編譯 何構造分層數據和分層程序的系統.元數據註釋其中的數據項 引入傳播來擺脫計算機語言的面向表達式範式
這是一本看起來很牛，實際讀不下去的一本書：Scheme語法看不懂，話語體系好像還在上個世紀，舉的例例子也是一言難盡。期待有人看懂了重寫一遍。