(define (p) (p))



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



(test 0 (p))



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