practice 1.5

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

인자 먼저 계산법 (applicative order)

- 인자 값부터 먼저 구한 뒤 계산

(test 0 (p))

(define p p) statement로 인해 p는 그 자체로 constant로 정의됨 

정수와 비교할 수 없음.

※ DrRacket은 인자먼저 계산하는거 같음... 계산이 진행되지 않음(멈춤)

정의대로 계산법 (normal order)

- 인자 값을 계산하지 않고 식 자체를 인자 이름과 맞바꾸어 가다가 마지막에 기본연산

(test 0 (p))

(if (= 0 0) 0 (p))

--> 0