「正格評価」を編集中 (節単位)

=== 作用的順序 ===
作用的順序の評価<ref name="sicp">訳は、[[計算機プログラムの構造と解釈]]より</ref>（applicative-order evaluation）は、もっぱら[[プログラミング言語]]よりは[[計算模型]]で使われる用語で、まず引数を全て評価し、それに関数をapply（作用、ないし適用）するという方法である。正規順序の評価（normal-order evaluation）の逆として対になっている。[[プログラミング言語]]における[[値呼び]]に同じとされることも多いが、英語版Wikipediaでは、関数の引数を左から右に[[木構造 (データ構造)|後順]]に走査して簡約可能な式を簡約していく評価戦略で「値呼びとは異なり、関数を作用させる以前に可能な限り関数本体内の項数を減らそうとする」ものとしている。