評価戦略

評価戦略とは、プログラミング言語や、ラムダ計算のような式から成る計算模型において、如何なる手順で、評価すなわち式から値を得るか、という規則群である。

1. 概要
-----

プログラミング言語では、その意味のうち、サブルーチン呼び出しや演算子式の評価において引数をいつどういう順序で評価し、仮引数は実引数にどう置換されるのか、サブルーチン呼び出しや演算子式の値への置換はどうなのかといったことが、言語仕様によって、あるいは実装によって定義される。

ラムダ計算における評価すなわち簡約においては「入れ子状になった式の最も外側から簡約するか、最も内側から簡約するか 関数適用の  という形の式において、X と Y のどちらの簡約を先にするか」という選択肢がある。これは後述する、プログラミング言語における正格評価と非正格評価にほぼ対応し、同じ言葉が使われることもあるが、モデルについての議論と実装についての議論であり、混同するのが望ましくない場合もある。

評価戦略は、関数の引数をどう扱うかによって、正格  な評価戦略と非正格  な評価戦略に大きく分類される。

プログラミング言語によっては、複数の評価戦略を場合により選べるものもある。例えばC++は値呼びが基本だが、参照呼びを指定することもできる。

正格評価の手続き型言語ないし命令型言語における、if文のような制御の分岐をおこなう構造は、そういった言語の中で一種の非正格評価を実現するものとみなせる。また短絡評価される演算子も同様にみなせる。

2. 正格な評価
--------

正格な評価とは、関数の引数が常にその関数に引き渡される前に完全に評価されることを意味する。

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

2.1. 作用的順序
----------

作用的順序の評価は、もっぱらプログラミング言語よりは計算模型で使われる用語で、まず引数を全て評価し、それに関数をapplyする、という方法である。正規順序の評価の逆として、対になっている。プログラミング言語における値呼びに同じとされることも多いが、英語版Wikipediaでは、関数の引数を左から右に後順に走査して簡約可能な式を簡約していく評価戦略で「値呼びとは異なり、関数を作用させる以前に可能な限り関数本体内の項数を減らそうとする」ものとしている。

2.2. 値呼び
--------

値呼びは、多くの言語で採用されている典型的な評価戦略である。値呼びでは、関数呼び出しにある実引数を評価し、関数の仮引数を新しい変数としてその値に束縛し、しかる後に関数本体を実行する。関数の中で仮引数である変数に値を代入しても、それは局所的なコピーへの代入であり、呼び出した側の変数には影響しない。

手続き型言語ないし命令型言語では、演算子の左辺と右辺や、複数個並んだ引数の評価順が左から右であるか右から左であるかは、結果に違いを齎すことがあるが、仕様で決めている言語もあれば、決めていない言語もある。

2.3. 参照呼び
---------

参照呼びでは、仮引数が実引数そのもの、すなわちエイリアスになる。実引数は、左辺値を持たねばならないか、左辺値を持たない式の場合は呼び出し側で一時的オブジェクトを構築する言語もある。

2.4. 参照の値渡し
-----------

参照の値渡し  は Barbara Liskov 他によって1974年にCLU言語で最初に call by sharing と呼ばれた評価戦略である。 日本語では参照の値渡しとも呼ばれる。Python、Iota、Java、Ruby、JavaScript、Scheme、OCaml、AppleScript等の多数の言語で使われている。しかしながら「参照の値渡し」という用語は一般的では無く、異なる情報源間で用語の混乱が見られる。例えば、Javaの分野ではJavaは全て値渡しであると言われている。参照の値渡しは、言語上の値がプリミティブ型ではなくオブジェクトに基づいているということ、つまり全ての値が「ボックス化」されていることを意味している。

参照の値渡しの意味論は参照渡しとは異なる: "In particular it is not call by value because mutations of arguments performed by the called routine will be visible to the caller. And it is not call by reference because access is not given to the variables of the caller, but merely to certain objects"CLU Reference Manual だから、例えば、変数が渡されたとき、呼び出し先のスコープ内で変数への代入を装うことは不可能である。ただし、関数は呼び出し元と同じオブジェクトにアクセスできるため、オブジェクトが可変であれば、関数内でのオブジェクトへの変更は呼び出し元にも反映される。これは値渡しの意味論とは異なる動作である。オブジェクトはコピーでもクローンでもない、つまり共有されているから、関数内での可変オブジェクトへの変更は、呼び出し元からも見えると言うことである。例として、配列が可変であるRubyで書くと: def f arr.append end

m = [] f p m<WtXmlEndTag /> これは [1] を出力する。なぜなら、appendメソッドは呼び出されたオブジェクトを変更しているからだ。

これらの言語では、変数を渡すことは、変数によって参照される実際のオブジェクト渡す事を意味しており、オリジナルの変数にアクセする事では意味しているわけでは無いため、関数内での代入は呼び出し元に影響を与えない。再束縛された変数は関数内にしか存在しないため、呼び出しと元の対応する変数は元の束縛を維持する。上記のRubyでの変更の動作と新しいオブジェクトを引数に代入する次のコードを比較してみると: def f arr = [1] end

m = [] f p m<WtXmlEndTag /> これは [] を出力する。なぜなら、arr = [1] という式は、新しい配列を、変数が参照する場所ではなく、変数そのものに再代入するからだ。

不変オブジェクトでは、オブジェクトの識別が変数そのものである言語を除き、参照の値渡しと値渡しに実質的な違いはない。可変オブジェクトでの参照の値渡しは、入出引数に代わるものである: 仮引数は代入せずに、オブジェクトを変更する。

この用語は海外のPythonコミュニティおよび日本のRubyコミュニティでは広く使用されているが、JavaやVisual Basic等の他の言語では同一の意味論でも値渡しとし、この場合の値はオブジェクトへの参照であると記述される場合が多い。

2.5. Call by copy-restore
-------------------------

Call by copy-restoreは、参照呼びの特殊な実装とも見ることができる。実引数の値が値呼びと同様にコピーされるが、関数呼び出しから戻る時に仮引数の変数の値が、あたかも参照呼びされたかのように書き戻される。

参照呼びと異なるのは、ある call by copy-restore の関数呼び出しの複数の引数に同じ変数を渡した場合、参照呼びでは、引数の1つを更新すると他の引数の内容も更新されるが、こちらでは、それぞれが異なるコピーであるため、他の引数の内容が更新されない。呼び出し側に戻ったときにどうなるかはそれぞれの仕様ないし実装による。

他にも、再帰呼び出しを行ったり、マルチスレッド環境で他のスレッドから観察されたりした場合には結果が異なってくる場合がある。

遠隔手続き呼出し  などで、このようなふるまいが見られることがある。

2.6. 部分評価
---------

部分評価は評価戦略というよりは最適化手法である。部分評価では、適用されていない関数の本体内で評価が継続される。束縛されていない変数を含まない部分式は評価され、引数が既知の関数適用は簡約される。副作用があると、部分評価は予期しない結果を引き起こす可能性がある。このため、部分評価は関数内の副作用を持たない純粋な式についてのみ実施されることが多い。

3. 正格でない評価
----------

正格でない評価では、関数の引数は関数本体の評価で実際に使われるまで評価されない。

チャーチ符号化においては、演算子の遅延評価は関数の正格でない評価に写像される。そのため、正格でない評価は「遅延評価」とも呼ばれる。ブーリアン型の式は多くの言語で遅延評価されるが、この場合は短絡評価と呼ぶことが多い。条件式でも違う理由で遅延評価が使われることが多い。

3.1. 正規順序
---------

正規順序の評価も、もっぱらプログラミング言語よりは計算模型で使われる用語で、最も外側の簡約可能な式を簡約する評価戦略であり、関数の引数を評価する前に関数を適用する。プログラミング言語における名前呼びに同じとされることも多いが、英語版Wikipediaでは、名前呼びでは適用されない関数の本体内までは評価しない点が異なるとしている。

3.2. 名前呼び
---------

名前呼びでは、関数の引数は全く評価されず、捕獲回避置換を使って関数本体内に直接置換される。引数がその関数の評価で使われていない場合、その引数は全く評価されない。引数が複数回使われている場合、その度に再評価される。

値呼びはその引数が全く使われていなくとも必ず評価するため、名前呼びの方が好ましいとする考え方もある。しかし、引数が使われている場合は名前呼びの方が性能が悪いという批判もある。

名前呼びはそのまま実装されることは滅多に無い。実際の言語では、名前呼びの意味論は次の必要呼び評価の実装となっていることが多い。ALGOL 60 ではデフォルトの評価戦略が名前呼びである。

副作用のある言語における名前呼びには微妙なところがあり、Jensen's Device のような例が知られている。

3.3. 必要呼び
---------

必要呼びとは名前呼びをメモ化したようなもので、関数の引数が評価されると、その値がそれ以降の利用のために代替として格納される。副作用がない場合、これは名前呼びと同じ結果となる。引数が何度も使われている場合、必要呼びの方が性能がよい。

遅延評価を引数の評価戦略として見た場合は必要呼びである、と言える。

必要呼びの言語としてはHaskellが有名である。

3.4. マクロ展開呼び
------------

マクロ展開呼びは名前呼びと似ているが、捕獲回避置換ではなくテキスト置換を使う。マクロ展開呼びであることを意識せずに使っていると、予期しない結果になることがある。健全なマクロは、捕獲を回避するマクロである。

4. 非決定性の戦略
----------

4.1. 部分適用
---------

部分適用はどちらかというとカリー化や第一級関数と関連する。複数の引数を取る関数において、一部の引数だけ適用された関数を得ることである。これに対して、すべての引数を適用することを完全適用と呼ぶ。 例として、Haskellのような関数型言語で、与えられた数値を2倍する関数を部分適用で作ると multiply x y = x * y twice x = multiply x 2 となる。部分適用されているのはtwiceを定義している'multiply x 2'の部分である。multiply関数は本来ならmultiply 2 3 のようにして使用するものであるが、これに2だけ適用して新たな関数twiceを得るのが部分適用である。 部分適用の重要性はモジュール性を高めることである。奇数・偶数の判定といった単純なものから、高階関数を駆使した複雑なものまで作り出すことができる。とくに遅延評価の言語で利用するとその効果は大きい。一方で、関数に副作用があると、思いもよらない結果をもたらすかもしれない。

4.2. 完全β-簡約
-----------

完全β-簡約においては、任意の時点で任意の関数適用が簡約される。これは、適用されない関数の本体内でも行われる。

4.3. 未来呼び
---------

未来呼びあるいは並列名前呼びは必要呼びに似ているが、関数の引数は関数本体と並行して評価される。関数本体で引数を使用するときにスレッドの同期が行われる。引数が全く使われない場合、引数の評価をしているスレッドは中断され捨てられる。

4.4. 楽観的評価
----------

楽観的評価は必要呼びの変形の1つであり、関数の引数はある回数だけ部分評価される。そして、評価は中断され、必要呼びで関数が適用される。この方法では必要呼びの性能低下を防ぎつつ、停止属性を保持する。

5. 注
----

6. 関連項目
-------

先行評価 - 遅延評価 - 部分評価 - 短絡評価
ラムダ計算
引数

7. 参考文献
-------

Harold Abelson and Gerald Jay Sussman. //Structure and Interpretation of Computer Programs//, Second Edition. MIT Press, 1996. ISBN 0-262-01153-0.
Henry G. Baker, Jr. "[1]", with Carl Hewitt, ACM Sigplan Notices 12. August 8, 1977. Pages 55-59.
Clem Baker-Finch, Clem, David King, Jon Hall, and Phil Trinder. "[2]", Research report 99/1. Faculty of Mathematics & Computing, The Open University, 1999.
Robert Ennals and Simon Peyton Jones. "[3]", in //ICFP'03//. ACM Press, 2003.
Jocelyn Frechot. "Partial Evaluation", documentation for the Compose project. Online, Sept. 25, 2003.
Bertram Ludäscher. [4]. January 24, 2001.
Benjamin C. Pierce. //[5]//. MIT Press, 2002. ISBN 0-262-16209-1.
P. Sestoft. "[6]", in T. Mogensen, D. Schmidt, I. H. Sudburough : The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones. Lecture Notes in Computer Science 2566. Springer-Verlag, 2002. Pages 420-435. ISBN 3-540-00326-6

de:Wertparameterru:Передача параметра