软件灵活性设计：如何避免陷入编程困境

本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。

这是一本深入探讨计算机程序不灵活性的书籍，作者通过增量式编程的概念和目标，为读者展示了如何构建计算系统，使其能够轻松适应不断变化的需求。书中详细阐述了组合器系统在领域专用语言中的应用，以及正则表达式的问题与解决方案，帮助读者理解如何通过组合器将组件组合成短语，以及如何通过领域专用语言来简化正则表达式的实现。 此外，书中还介绍了算术运算及其推广，解释了如何将基本的算术运算推广到更复杂的数学对象，如函数、矩阵等。作者通过设计可动态扩展的通用程序，展示了如何处理程序的适用性由程序参数的谓词决定。同时，书中也探讨了模式匹配的定义和特性，以及如何通过模式匹配构建非常灵活的基于规则的系统。 在解释器的构建与泛化方面，书中详细阐述了如何构建一个解释器，以及如何让这个解释器具备泛化能力。作者通过构建通用eval/apply解释器，以及具有非严格参数的程序，展示了如何实现解释和编译。同时，书中也介绍了分层编程的概念与意义，以及如何通过分层编程提高代码的可读性、可维护性和可扩展性。 在传播者模型构建基础方面，书中阐述了传播者模型的基本概念、结构特点以及其优势。作者通过传播者模型，展示了如何通过共享单