ソフトウェア開発で最も時間のかかる作業は、デバッグであると言われています。　よって、バグをいかに出にくくするかで開発効率を改善することができると考えられます。

前回のエントリ では、副作用を分離することで、バグを減らすことができる、という話から、Haskell がそのような副作用の分離に向いているということについて書きました。
今回は、IO 制御の分離について、Haskell のコード 2 つを比較しながら書いてみようと思います。

前回は、副作用である変数代入という概念が純粋関数型言語である Haskell には存在しないということを書きました。 今回と次回は、そのような変数という概念を純粋関数的に模倣した Haskell の State モナドについて書こうと思います。

今回は、State モナドの説明の前段階として、ローカルスコープを用いた変数代入の模倣についてです。