计算机程序的构造和解释(3)——模块化、对象和状态

即使在变化中，它也丝毫未变。

变得越多，他就越是原来的样子。

3.1 赋值和局部状态
3.2 求值的环境模型

3.4 并发：时间是一个本质问题
死锁
串行
共享

3.5 流