作用順序評価

2つの評価モデルの話に進む前に、作用順序評価という概念について少し。
id:yagiey:20100103:1262535864の最後らへんで書いた内容に関係するような気がするなぁ。
Schemeでリストを式として評価する時は基本的に関数適用になるけど、この関数適用に先立って、全引数と関数本体が評価される。
このことを作用順序評価というらしい(たぶん)。

関数適用に関しては、「ラムダ計算 - Wikipedia」の「定義」らへんを参照。