1.1.5 手続き作用の置き換えモデル

文責:@naoiwata

合成手続きの作用プロセス

合成手続きの作用プロセスも解釈系の基本的な評価順序と同じである. このプロセスを手続き作用の置き換えモデル (substitution model) と呼ぶ.

置き換えモデルの評価法

  • 正規順序の評価 (normal-order evaluation)
    • 完全に展開し, 内のネストから順に評価する.
(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 evaluation)
    • 引数を評価してから作用させる手法であり, 解釈系が実際に使っている.
(sum-of-squares (+ 5 1) (* 5 2))
(+ (square (+ 5 1)) (square (* 5 2)))
(+ (square 6) (square 10)))
(+ (* 6 6) (* 10 10))
(+ 36 100)
136

Table Of Contents

Previous topic

1.1.4 合成手続き

Next topic

1.1.6 条件式と述語