評価戦略
正格な評価とは、関数の引数が常にその関数に引き渡される前に完全に評価されることを意味する。
チャーチ符号化(英語版)においては、演算子の先行評価は関数の正格な評価に写像される。そのため、正格な評価は「先行評価」とも呼ばれる。多くのプログラミング言語は、関数については正格な評価をする。
参照呼び(call by reference、参照渡し: pass by reference)では、仮引数が実引数そのもの、すなわちエイリアス(Aliasing)になる。実引数は、左辺値を持たねばならない(Pascalのように、実引数を変数に限定した言語もある)か、左辺値を持たない式の場合は呼び出し側で一時的オブジェクトを構築する言語もある。