2008-10-16から1日間の記事一覧

モナドを理解するには

各個撃破しかないと思う。 圏論のモナドの話を聞いてもよく分からないし、理解したからといってHaskellプログラムがすらすら書けるようになる気がしない。 ボクには「モナドとは何ぞや」は荷が重すぎる。「Stateモナドとは何ぞや」ぐらいがちょうどいい。

Stateモナドを手で展開してみる

30分プログラム、その392。Stateモナドを理解するために手で展開してみた。 展開してみた感想は、確かにStateモナドが状態を持てる理由は分かった気がする。でも、これをモナドに押し込めた人は天才だと思う。 do 記法 とりあえず、普通に書いてみた。 impor…