na_o_ysのブログ

プログラミングのメモ

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

join から理解する State モナド

すごいH本 14 章に出てきた State モナドの理解が難しかったので, まとめてみました. State モナドとは 状態付き計算を表現するモナド 現状態 s1 を受け取り, 値 a と次状態 s2 のペアを返す関数 newtype State s a = State { runState :: s -> (a, s) } s: …