### Scheme与编程艺术
#### 一、概述
《Scheme与编程艺术》这本书由George Springer与Daniel P. Friedman共同编写，并由Guy L. Steele Jr.作序。本书是计算机科学领域内的一部经典之作，深入探讨了Scheme语言及其在程序设计中的应用。Scheme是一种功能强大的 Lisp 方言，以其简洁性、灵活性以及对高级编程概念的支持而闻名。
#### 二、数据与运算符
**1.1 引言**
本章节作为全书的开篇，简要介绍了本书的目的和主要内容。作者们希望通过本书帮助读者掌握Scheme语言的基础知识，并通过一系列实践练习培养编程思维。这一部分为后续章节奠定了理论基础。
**1.2 计算机**
这里讨论了计算机的基本概念，包括硬件结构、存储器组织等，有助于理解Scheme程序如何在实际的计算环境中运行。
**1.3 数字与符号**
本节重点讲解了Scheme中数字与符号的数据类型。Scheme支持多种数值类型，如整数、实数、复数等。此外，符号作为一种基本的数据类型，在函数定义、变量命名等方面发挥着重要作用。
**1.4 构造列表**
列表是Scheme中最常用的数据结构之一。本节介绍了如何构造列表，包括使用`cons`函数创建新的列表元素，以及其他操作列表的常用方法，如`list`、`append`等。
**1.5 拆分列表**
与构造列表相对应的是拆分列表的操作，这部分内容讲述了如何使用`car`、`cdr`等函数来访问和修改列表中的元素。这些基础操作对于理解和实现更复杂的算法至关重要。
#### 三、过程与递归
**2.1 概览**
此章节开始介绍Scheme的核心概念——过程（Procedure），并探讨了过程的应用场景和实现方法。
**2.2 过程**
本节深入分析了Scheme中过程的定义方式，包括如何定义一个过程、如何调用过程以及过程的参数传递机制等。
**2.3 条件表达式**
条件表达式是控制流程的重要组成部分。本节介绍了Scheme中的条件语句，如`if`、`cond`等，以及如何使用它们来实现逻辑分支。
**2.4 递归**
递归是Scheme语言的一大特色。本节详细阐述了递归的概念及其在Scheme中的实现方式，同时通过具体示例展示了递归在解决复杂问题时的强大能力。
**2.5 跟踪与调试**
在实际开发过程中，调试是一个不可避免的过程。本节提供了关于如何使用Scheme提供的工具进行代码跟踪和调试的方法。
#### 四、数据抽象与数值
**3.1 概览**
本章进一步探讨了数据抽象的概念，这是面向对象编程的一个核心思想。通过将数据与操作分离，可以更方便地管理和扩展程序。
**3.2 对数值的操作**
这一节介绍了Scheme中处理数值的各种操作，包括基本的数学运算、比较操作等。
**3.3 精确算术与数据抽象**
精确算术是指在计算过程中保持数值的精确度不变。本节讨论了如何利用数据抽象的思想来实现精确算术，并给出了具体的实现示例。
#### 五、数据驱动的递归
**4.1 概览**
这部分内容着重于递归在处理不同类型数据结构中的应用，尤其是列表和树形结构。
**4.2 平坦递归**
平坦递归是指递归过程中不涉及深层次嵌套的递归调用。本节通过几个实例展示了如何实现简单的递归算法。
**4.3 深层递归**
相比之下，深层递归涉及到多层嵌套的递归调用。本节通过具体的例子讲解了深层递归的实现原理及其应用场景。
**4.4 列表的树状表示**
树形结构是另一种常见的数据结构。本节介绍了如何将列表转换成树形结构，并在此基础上进行递归操作。
**4.5 数值递归与迭代**
递归与迭代是两种不同的解决问题的方法。本节比较了这两种方法的特点，并探讨了它们在数值计算中的应用。
**4.6 分析斐波那契算法**
斐波那契数列是一个经典的递归问题。本节通过分析斐波那契数列的递归实现，展示了递归算法的时间复杂度分析方法。
#### 六、局部定义的过程
**5.1 概览**
本章继续探讨过程的高级话题，特别是局部定义的过程。
**5.2 Let 和 Letrec**
`let`和`letrec`是Scheme中用于定义局部变量和过程的关键字。本节详细解释了这两个关键字的区别和用法。
**5.3 多项式的符号操作**
多项式的操作在数学和工程领域非常常见。本节介绍了如何使用Scheme进行多项式的符号操作，包括加减乘除等。
**5.4 二进制数**
二进制数是计算机内部表示数据的基础。本节探讨了如何使用Scheme处理二进制数，并实现了一些基本的二进制数运算。
通过以上内容的介绍，《Scheme与编程艺术》不仅提供了一个学习Scheme语言的完整指南，还深入探讨了编程的一些核心理念和技术，适合所有希望深入了解功能性编程的程序员阅读。
凯奥斯2018-03-27非常牛逼的书！
