Haskell 世界里有一句著名的话： “单子是自函子范畴上的一个幺半群” （A monad is a monoid in the category of endofunctors）这是范畴论中最著名也最深入人心的描述之一。 我曾经遇到的程序员里只有一个能在第一眼看见这句话就知道它说的是什么意思。