関数型プログラミング言語Haskell Part8

関数型プログラミング言語Haskell Part8 at TECH

230:デフォルトの名無しさん
07/11/19 04:24:37
>>228
それでOK。
ただm >>= kとm >> kのkはそれぞれ別の型だってことに注意。

m1 >> m2 = m1 >>= const m2 なので k=const m2 と考えると
runState (k a) s'
= runState ((const m2) a) s'
= runState m2 s'

次ページ

続きを表示

1を表示