你们这些不函数式的语言就没有这些烦恼……

阅读全文

一个*单子*(Monad)说白了不过就是*自函子*范畴上的一个*幺半群*而已,有什么难以理解的。

Philip Wadler

阅读全文