- 228 名前：デフォルトの名無しさん mailto:sage [2007/11/19(月) 03:39:03 ]
- Stateモナドについて質問なんですが
instance Monad (State s) where
m >>= k = State $ \s -> let
(a, s') = runState m s
in runState (k a) s'
↑の式でm >>= k が m >> kなら、右辺は
State $ \s -> let
(a, s') = runState m s
in runState k s'
((k a)がkだけになる)
という風になると考えていいんでしょうか?
