软件灵活性设计：如何避免陷入编程困境
[英]克里斯·汉森 [美]杰拉尔德·杰伊·萨斯曼
159人在读
18.7万字总字数
¥37.2定价
[英]克里斯·汉森 [美]杰拉尔德·杰伊·萨斯曼
本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。
- 软件灵活性设计.如何避免陷入编程困境 2024.3; 灵活软件.利用数学符号操作、基于规则的系统和通用程序.利用依赖系统跟踪、解释和控制回溯 编程哲学.灵活性的概念 普适方法 谓词分派 符号模式匹配(启用术语重写系统->通过合一展示类型推理) 解释和编译 何构造分层数据和分层程序的系统.元数据注释其中的数据项 引入传播来摆脱计算机语言的面向表达式范式
这是一本看起来很牛，实际读不下去的一本书：Scheme语法看不懂，话语体系好像还在上个世纪，举的例例子也是一言难尽。期待有人看懂了重写一遍。