(define (p) (p))
(define (test x y)(if (= x 0) 0 y))
(test 0 (p))
应用序(Applicative-Order)求值是指:先递归对过程的所有的参数求值,然后将这些参数的值应用与该过程;
正则序(Normal-Order)求值是指:先将过程完全展开,直至得到只包好基本运算符的表达式,然后执行求值(规约)。
若为应用序 则 0
正则序 则无限展开
(define (p) (p))
(define (test x y)(if (= x 0) 0 y))
(test 0 (p))
应用序(Applicative-Order)求值是指:先递归对过程的所有的参数求值,然后将这些参数的值应用与该过程;
正则序(Normal-Order)求值是指:先将过程完全展开,直至得到只包好基本运算符的表达式,然后执行求值(规约)。
若为应用序 则 0
正则序 则无限展开