めもめも

このブログに記載の内容は個人の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

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

Monadのbind結合則に関する小ネタ

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 -…