正则序 还是 应用序

2018-05-23  本文已影响7人  bigCatloveFish

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

应用序(Applicative-Order)求值是指:先递归对过程的所有的参数求值,然后将这些参数的值应用与该过程;

正则序(Normal-Order)求值是指:先将过程完全展开,直至得到只包好基本运算符的表达式,然后执行求值(规约)。

若为应用序 则 0
正则序 则无限展开

上一篇 下一篇

猜你喜欢

热点阅读