IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2015-01-02から1日間の記事一覧

Stateモナドの定義の理解

Stateモナドの定義を確認します。 Control.Monad.State.Lazy newtype State s a = State { runState :: s -> (a, s) } なんで、 s->(a, s)という形なのかずっと疑問でした。 ... 次のように考えるとよいかと思いました。 まず、b -> aという計算を考えるとし…