http://www.atdot.net/s-prosym2007/#l12 より。 手続き型プログラミング言語に慣れ親しんできたのでこの手の関数型の記述は一見何をやっているのか全く分からない。 おそらく手続き型らしい*1表記でないと状態遷移が頭の中に浮かんでこないようになっている…