遅延評価

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2014年3月29日 (土) 20:48時点における222.230.118.52 (トーク)による版 (関連項目)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

遅延評価ちえんひょうかテンプレート:Lang-en-short)とは、計算機科学におけるプログラム評価手法の一つ。主に関数型言語で使用される。対義語は先行評価[1]

評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。評価法が指示されているが実際の計算が行われていない中間状態の時それをプロミス[2]や、計算の実体をさしてサンク[3]といい、プロミスを強制[4]することで値が計算される。一旦計算された値はキャッシュをすることが可能であり、遅延プロミスは最大で一度しか計算されないようにすることができる。ただし、Haskell の実装によっては、何度でも同じ計算を行う。

特性

遅延評価を行う利点は計算量最適化である。

ある関数を呼び出すとき、その関数が引数の全てを利用するとは限らない。条件次第で捨ててしまうような値を事前に準備することは非効率的である。このような場合遅延評価を行うと必要なときだけ値が計算されるので計算量を低減できる。

また同じ評価を複数回利用する可能性があるとき、先行評価では値を保持しない限りそれぞれのケースで再計算を行うが、遅延評価では実評価は最初の一度だけで二回目以降はキャッシュを参照するだけであることが保証されているテンプレート:要検証為、自然な形で値の再利用を実現できる。

一方で遅延評価は実装の難しさ、計算が起こるタイミングを予想できないという弱点を持つ。現行計算機のアーキテクチャでは先行評価が機械的に自然なこともあり、普及するには時間が必要である。

遅延評価を持つ言語

遅延評価を原則とする言語の例

遅延評価を仕様に定義している言語の例

脚注

  1. テンプレート:Lang-en-short
  2. テンプレート:Lang-en-short
  3. テンプレート:Lang-en-short
  4. テンプレート:Lang-en-short

関連項目