详解函数式编程之 Monad

[netcan]

最近终于搞清楚了 Monad 的本质，趁热记录下来，相信大家或多或少在编程语言中见过并用过，只不过不知道那是 Monad 罢了，也为了方便大家理解 Monad，后面我会用各种主流语言中具有代表性的 Monad 作为例子，如果对理论不感兴趣可以直接跳到后面，寻找你熟悉语言的例子进行理解后，再回头看看理论。感兴趣的可以看看我写的文章： https://zhuanlan.zhihu.com/p/260966706

[aijam]

Every Haskell programmer will write a blog about Monad at some point

[leavebody]

@aijam 哈哈哈哈哈

[thedrwu]

然后你会发现因为 monad transformer 运行效率特别低，最终舍弃这些抽象只拿来做 IO 。

[netcan]

@thedrwu 做异步抽象啊，比如 js 的 promise，c++也可以借鉴思想。

[netcan]

@aijam I'm a c++ progammer, not haskell

[Balthild]

讲个玩笑：

Monad 是这样一种奇怪的东西：每个人都能理解它，但每个人对它的表述都是错的。

[netcan]

@Balthild 看你怎么理解表述了

[GuangXiN]

@Balthild #6 听起来像在说上帝