2007-09-01 遅延評価 haskell 置き換えモデル・最外簡約・グラフ簡約・遅延評価・参照透明性という言葉が出てきました。 必要なときに必要な分だけ処理をするという遅延評価の仕組みは、説明されてみると素晴らしい仕組みのように思えてきました。