正则序和应用序
应用序:在过程应用时,提供给Scheme的所有参数都需要完成求值
正则序:将把对过程参数的求值延后到需要这些实际参数的值的时候。
将过程参数的求值拖延到最后的可能时刻被称为 惰性求值
如果在某个参数还没有完成求值之前就进入一个过程的体,我们就说这一过程对于该参数是非严格的,如果在进入过程体之前某个参数已经完成求值,我们就说该过程相对于这个参数为严格的。
一个采用惰性求值的解释器
实现一个与Scheme完全相同,但是其中的复合过程对任何参数都是非严格的,基本过程都是严格的
地返回其中保存的值,不必重复去做计算,我们将把这个解释器做成带记忆的,因为对于大部分应用而言,这种方式更高效