「正格評価」を編集中
ナビゲーションに移動
検索に移動
この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
最新版 | 編集中の文章 | ||
4行目: | 4行目: | ||
== 概要 == | == 概要 == | ||
正格な評価とは、[[関数]]や[[サブルーチン]]の[[引数]]が常にその関数に引き渡される前に完全に評価されることを意味する。 | 正格な評価とは、[[関数]]や[[サブルーチン]]の[[引数]]が常にその関数に引き渡される前に完全に評価されることを意味する。 | ||
− | |||
− | [[チャーチ符号化]]においては[[演算子]]の[[先行評価]] | + | [[チャーチ符号化]]においては[[演算子]]の[[先行評価]]は関数の正格な評価に写像される。そのため正格な評価は「先行評価」とも呼ばれる。多くの[[プログラミング言語]]は関数については正格な評価を行う。 |
=== 作用的順序 === | === 作用的順序 === |