其实这个题在刚刚考完试的时候已经写完了,🕊才知道我为啥能咕到现在。

阅读全文

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

阅读全文

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

Philip Wadler

阅读全文