首页

/

归档

/

友链

/

Github

/

模拟面试

/

独立黑客

/

资料

/

订阅

/

RSS

/

关于我


求值策略:Applicative Order vs Normal Order

举个例子:

(test 0 (p)),如果test的定义是

(define test (x y)
 (if (= x 0) 0 y)
)

p 的定义是 (define p (p))

(if (= 0 0) 0 (p))

然后开始执行,(= 0 0) 为true,直接取值为0。因此不会陷入循环。Normal order会将表达式进行展开,递归的将函数体替换 原表达式中的引用。当到达无法展开时才会开始求值。这种玩法也叫 lazy evaluation,Haskell就是这么玩的。所以如果你看Haskell 相关的书,他们一定会鼓吹说Haskell是惰性求值的,可以避免多余的计算。