07/08/06 19:55:21
>>45
実装じゃなくて「入出力する」ということはどういう感じにしたら
モナドになるんだ？って話。
>>実は>>22のState Monadほとんどそのままだったりする。
実は別にState Monad使わなくても作れたりするらしい。
もともと抽象的な実装方法というものがあってそれを満たすものがあれば
なんでもいい。(一番自然なのはStateMonad使う方法になるんだろうけど)
07/08/06 19:55:21
>>45
実装じゃなくて「入出力する」ということはどういう感じにしたら
モナドになるんだ？って話。
>>実は>>22のState Monadほとんどそのままだったりする。
実は別にState Monad使わなくても作れたりするらしい。
もともと抽象的な実装方法というものがあってそれを満たすものがあれば
なんでもいい。(一番自然なのはStateMonad使う方法になるんだろうけど)