文責: | @naoiwata |
---|
合成手続きの作用プロセスも解釈系の基本的な評価順序と同じである. このプロセスを手続き作用の置き換えモデル (substitution model) と呼ぶ.
(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
(sum-of-squares (+ 5 1) (* 5 2))
(+ (square (+ 5 1)) (square (* 5 2)))
(+ (square 6) (square 10)))
(+ (* 6 6) (* 10 10))
(+ 36 100)
136