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

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

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

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

3.5 流