构造过程抽象

程序设计的基本元素

一个健壮的语言，不仅是一种指挥计算机执行任务的方式，也是一种框架，使我们组织关于计算过程的思想。
每一个健壮的语言都有下面三种机制：

• 基本表达形式(primitive elements)
• 组合的方法(means of combination)
• 抽象的方法(means of abstraction)

在程序设计中，我们需要处理两类要素：

• 数据（DATES）
• 过程（PROCEDURES）

数据使一种我们希望去操作（manipulate）的"东西（stuff）"
过程是描述操作这些数据的规则
不过实际上两者并不是这么严格分开的。

• 表达式
• 命名和环境
• 命名是一种受限的抽象
• 组合式的求值
• 复合过程
• 过程应用的代换模型
• 条件表达式和谓词
• 过程作为黑箱抽象

过程与他们所产生的计算