46． 纯函数和FORALL
纯函数是唯一可以从一个
FORALL
中调用的函数
这样比较安全因为它们没有副作用
这样比较有用因为有些事情你无法在
FORALL
中(直接)实现
条件(conditionals)和叠代
例如, 用这种方式作逐点叠代
局部变量
例如, 用这种方式维护临时变量
Copyright: NPACT
