遅延評価とは何か？

遅延評価は、式が束縛されるときではなく、その結果が最初に必要になったときにのみ計算される戦略です。遅延された計算は通常thunkの中に保持され、必要に応じて強制され、多くの場合その結果は再利用のためにキャッシュされます。これにより、プログラムは無限の構造を扱い、不要な作業を避けられます。

なぜ重要か

計算を先延ばしにすることで、決して使われない作業を省け、無限または自己参照的なデータ構造を実用的にします。トレードオフは、強制されていないthunkが積み上がり得るため、タイミングとメモリがより予測しにくくなることです。