(define (p) (p))

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

(test 0 (p))

;無限ループに陥る。 ;正規順序では 完全に展開し簡約するので、評価しなくてもよい P で無限ループすることはない ;作用的順序では引数をすべて評価するため、P の評価で無限ループする