問題1.5 をやってみる
(define (p) (p)) (define (test x y) (if (= x 0) 0 y)) (test 0 (p)) ;無限ループに陥る。 ;正規順序では 完全に展開し簡約するので、評価しなくてもよい P で無限ループすることはない ;作用的順序では引数をすべて評価するため、P の評価で無限ループする
(define (p) (p)) (define (test x y) (if (= x 0) 0 y)) (test 0 (p)) ;無限ループに陥る。 ;正規順序では 完全に展開し簡約するので、評価しなくてもよい P で無限ループすることはない ;作用的順序では引数をすべて評価するため、P の評価で無限ループする