互联网程序员都每天刷题嘛单子网址你终于成功了。你穿过镜子。你学习了函数式编程。你掌握了柯里化和组合，走上了功能纯粹的道路。渐渐地，你注意到其他程序员的态度发生了变化。当你和他们交谈时，他们声音中的蔑视总是那么少。每隔一段时间，当您碰巧提到不可变数据结构时，您都会得到一点点点头。你已经开始赢得他们的尊重。但是…有一些事情他们不会谈论。当他们认为您听不到时，您会时不时地听到以安静的语调讨论“monad”这个词。但是一旦他们注意到你在那里，他们就会改变话题。有一天，你鼓起勇气去问一个人。“我一直听到的这个单子是什么？”另一个程序员只是看着你。在尴尬的沉默之后，她只是说“我不能谈论它”。所以你问另一个程序员，她回答说“也许当你学会了Haskell时。”她伤心地走开，摇摇头。迷惑不解，你开始在互联网上寻找答案。起初似乎有很多人渴望解释神秘的单子。但是，有一个问题。就好像他们每个人都在写某种代码。他们谈论应用函子、范畴论、代数结构和一元定律。但它们似乎都没有解释monad的用途。他们在做什么？它们为什么存在？你不断地搜索和发现一篇又一