遅延評価 とは？

式の値が必要になるまで、評価を後回しにすることだよ。不要な値なら評価せずに済む。Haskellでは、使わない引数の計算が終わらなくても、その引数を必要としない関数なら結果を返せる例があるんだ。

先行評価では、例えば関数へ渡す引数を先に評価してから関数を実行する。遅延評価では、必要な値を求める段階まで評価を遅らせるんだ。コードを定義した瞬間に、書かれた全ての処理が走るかどうか、という区別ではないよ。

全部を作るわけではないよ。例えばHaskellの無限に続く平方数の列からtake 5で取り出すと、0、1、4、9、16という有限の結果を扱える。一方、無限の列全体の長さを求めるような処理は終わらないんだ。

ジェネレーターは、次の値を求めると実行を再開するので、必要に応じて値を作る例になるよ。ただし式全般の評価方式と同じものではない。JavaScriptのnew Promiseに渡すexecutorは生成時に同期的に呼ばれるので、Promise自体を遅延評価の例にはできないんだ。

必ずではないよ。不要な評価を省ける一方で、結果をいつ必要とするかによって実行の様子が変わる。無限の列なら有限の部分で処理を終えられるか、エラーがいつ分かるかなども確認しよう。実際の性能は、処理と実装に合わせて測る必要があるね。