對于大多數剛剛入門函數式編程的同學來說，monad（單子、又叫單體）可能是這里面的一道坎。你可能對 map 、 flatMap 以及 filter 再熟悉不過，可是到了高階的抽象層次上就又會變得...

monad 是函數式編程中的抽象概念，是一種高度的數學抽象，關于 monad 的詳細介紹請看這里： Functors, Applicatives, And Monads In Pictures ...

大多數關于 monad 的教程都和老太太的裹腳布一樣，又臭、又長，說不清、道不明。當然我也不偉大，沒法保證我寫的一定更明了，更生動，甚至更屌？不過我至少可以確定，我這篇更簡潔。浪費不了你多少時間的！

函數式編程有一個重要概念，叫做Monad。 網上有很多解釋（這里和這里），但都很抽象，不容易看懂。我嘗試了好多次，還是不明白Monad到底是什么。