치환 모델 (Substitution Model)

예제에 사용할 함수

(defun square (x) (* x x))
(defun sum-of-squares (x y)
  (+ (square x) (square y))

normal-order: 전체를 확장한 후에 다시 줄여나간다.

(sum-of-squares (+ 5 1) (* 5 2))

확장한다.

(+ (square (+ 5 1)) (square (* 5 2)))
(+ (* (+ 5 1) (+ 5 1)) (* (* 5 2) (* 5 2)))

줄인다.

(+ (* 6 6) (* 10 10))
(+ 36 100)
136

applicative-order: 인자를 평가하고 적용한다.

sum-of-squares의 인자를 평가하고 적용한다.

(sum-of-squares (+ 5 1) (* 5 2))
(sum-of-squares 6 10)

+의 인자를 평가하고 적용한다.

(+ (square 6) (square 10))
(+ 36 100)
136