SICP-- 元语言抽象--Scheme的变形--惰性求值

正则序和应用序

应用序：在过程应用时，提供给Scheme的所有参数都需要完成求值

正则序：将把对过程参数的求值延后到需要这些实际参数的值的时候。

将过程参数的求值拖延到最后的可能时刻被称为 惰性求值

如果在某个参数还没有完成求值之前就进入一个过程的体，我们就说这一过程对于该参数是非严格的，如果在进入过程体之前某个参数已经完成求值，我们就说该过程相对于这个参数为严格的。

一个采用惰性求值的解释器

实现一个与Scheme完全相同，但是其中的复合过程对任何参数都是非严格的，基本过程都是严格的

地返回其中保存的值，不必重复去做计算，我们将把这个解释器做成带记忆的，因为对于大部分应用而言，这种方式更高效

修改求值器