并发：时间是一个本质问题 潜藏在状态、同一、变化后面的中心问题是，引入赋值之后，我们就必须承认时间在 所有的计算模形中的位置； 采用具有局部状态的

用变动数据做模拟 为了模拟那些由具有不断变化的状态组成的系统，我们除了需要做复合数据对象的构 造和成员选择之外，还可能需要修改它们； 为了模拟具有

求值的环境模形 如 3.1.3 节所言，由于赋值的存在，变量已经不能再看作仅仅是某个值的名字，此 时的一个变量必须以某种方式指定了一个“位置”，相应的值可以

第三章 有效的程序综合需要一些组织原则，它们应能指导我们系统化地完成系统的整体设计， 特别是需要一些能帮助我们构造起模块化的大型系统的策略，也就

带有通用型操作的系统 SICP 中文版P136：在设计大型系统时， 处理好一大批相互有关的类型而同时又能保持模块性，是一个非常困难的问题。 本文中的代码是