FP中的严格求值和懒惰求值

函数式编程语言中对表达式的求值有两种方式，它们分别是：

1. 严格求值（Strict Eval）
2. 懒惰求值（Lazy Eval）

这两种求值的区别在于它们对表达式（及其子表达式）的求值顺序不同：

• 前者严格遵循在对函数求值之前先对函数的参数进行求值，也就是说对于给出的一个表达式，严格求值会先对参数进行求值，然后将求得的值传给函数，然后再对函数进行求值；
• 后者则在只会需要的才时候进行求值，这意味着当对一个函数进行求值时，懒惰求值会原封不动地将参数（无论参数是一个表达式还是其它）传递给函数，只有在执行函数时发现需要对参数进行求值的时候才去对参数求值。*通常，这种情况下被求过值的参数其值会被缓存下来以备再次使用，这就是我们常说的”备忘“（memoization）

这两种求值方式各有优劣。但是对于开发者来说，”严格求值“更利于推理分析程序代码，而我们一般接触到的函数式编程语言都是直接采用严格求值的。不过，它们都提供了两个用来”迫使“求值器对表达式采用懒惰求值的操作符：delay和force：

• delay用来延迟对一个表达式的求值
• force用来恢复对被delayed的表达式的求值

在Clojure当中，delay就是delay宏，而force则会在以下几种情况下发生：

1. deref一个引用时
2. doall/dorun/doseq时
3. 直接使用force

关于这几个操作符/宏的使用，请参考Clojure的API文档。