ようこそ。睡眠不足なプログラマのチラ裏です。

モナド則かっこいい

モナド
1. (return x) >>= f == f x
2. m >>= return == m
3. (m >>= f) >>= g == m >>= (\x -> f x >>= g)

最初はなんのこっちゃわからんかったが、意味理解。
誰が考えたか知らんが、これ考えた人頭良いな。
1.と2.はまぁ当たり前として、3.の結合則がビューティフルすぐる(`・ω・´)