QUOカードで支払いをしようと思ったら読み取りエラーで使えなくなっていました。データが読み出せないようになったらもうあきらめるしかないと勝手に思い込んでいたのですが、カードを再発行してもらえました。再発行手続きがちゃんと用意されていたのですね…

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