2008-05-14 モナド則かっこいい プログラミング Haskell 雑談 ■モナド則 1. (return x) >>= f == f x 2. m >>= return == m 3. (m >>= f) >>= g == m >>= (\x -> f x >>= g) 最初はなんのこっちゃわからんかったが、意味理解。 誰が考えたか知らんが、これ考えた人頭良いな。 1.と2.はまぁ当たり前として、3.の結合則がビューティフルすぐる(`・ω・´)