== 概要 ==
正格な評価とは、[[関数]]や[[サブルーチン]]の[[引数]]が常にその関数に引き渡される前に完全に評価されることを意味する。
むかしながらの多くの[[プログラミング言語]]は関数については正格な評価を行う。
[[チャーチ符号化]]においては[[演算子]]の[[先行評価]]は関数の正格な評価に写像される。そのため正格な評価は「先行評価」とも呼ばれる。多くの[[プログラミング言語]]は関数については正格な評価を行う。は関数の正格な評価に写像される。そのため正格な評価は「先行評価」とも呼ばれる。
=== 作用的順序 ===
