モナド

Monad (モナド) とは、pure と flatMap というメソッドを持ち、Monad 則1)を成立させるものである。

~

つまり、pure と flatMap を定義するだけで、様々なメソッドが使えるように抽象化されているのである。

様々なメソッドの中でも特に重要な点は、flatMap と map が定義されていて、 Monad のための syntax sugar である for 式が使えるということである。

関連