4. State

4.1 Computational Effects

计算不仅可以返回一个值，也能产生副作用，比如读，写，存储。实际上副作用是必须的，否则一个计算只产生值的话，没有任何用途，因为我们连保存都不行。

引用（reference）是一个地址，指向存储数据的结构。

4.5 Parameter-Passing Variations

函数参数传递方式：call-by-value, call-by-reference, call-by-name, call-by-need。