「正格評価」の版間の差分

imported>Administrator
ページの作成:「'''正格評価'''とは、関数引数が常にその関数に引き渡される前に完全に評価されることをいう。 対義語は「遅延評価...」
 
imported>Administrator
 
4行目: 4行目:
== 概要 ==
== 概要 ==
正格な評価とは、[[関数]]や[[サブルーチン]]の[[引数]]が常にその関数に引き渡される前に完全に評価されることを意味する。
正格な評価とは、[[関数]]や[[サブルーチン]]の[[引数]]が常にその関数に引き渡される前に完全に評価されることを意味する。
むかしながらの多くの[[プログラミング言語]]は関数については正格な評価を行う。


[[チャーチ符号化]]においては[[演算子]]の[[先行評価]]は関数の正格な評価に写像される。そのため正格な評価は「先行評価」とも呼ばれる。多くの[[プログラミング言語]]は関数については正格な評価を行う。
[[チャーチ符号化]]においては[[演算子]]の[[先行評価]]は関数の正格な評価に写像される。そのため正格な評価は「先行評価」とも呼ばれる。


=== 作用的順序 ===
=== 作用的順序 ===