2011-07-24から1日間の記事一覧
bindの結合則 Monadのbind演算(>>=)の結合則は次の様に表現されます。 (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g)なんで素直にこう書かないの? (m >>= f) >>= g ≡ m >>= (f >>= g) ← 間違いと思ったあなたは、m,f,gの型を考えましょう。 m :: m a f :: a -…
bindの結合則 Monadのbind演算(>>=)の結合則は次の様に表現されます。 (m >>= f) >>= g ≡ m >>= (\x -> f x >>= g)なんで素直にこう書かないの? (m >>= f) >>= g ≡ m >>= (f >>= g) ← 間違いと思ったあなたは、m,f,gの型を考えましょう。 m :: m a f :: a -…