Substitution Model
-
치환 모델 (Substitution Model)Programmer/Programming 2013. 4. 10. 17:41
예제에 사용할 함수 (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-sq..