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

正则序和应用序

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

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

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

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

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

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

SICP-- 元语言抽象--Scheme的变形--惰性求值_第1张图片

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

修改求值器

你可能感兴趣的:(SICP,sicp)