연습문제 1.5

(define (p) (p))

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

/> (test 0 (p))

인자 먼저 계산하는 실행기

(test 0 (p))
-> (if (= x 0) (0 y)
-> x, y 인자를 실제 값으로 치환 (if (= 0 0) 0 (p))
-> (p)의 인자를 계산 (if (= 0 0) 0 (p))
-> ...

무한반복

정의대로 계산 법

(test 0 (p))
-> (if (= x 0) (0 y)
-> x, y인자를 실제 값으로 치환 (if (= 0 0) 0 (p))
-> atom 인자를 계산
-> 0