> (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