互联网程序员都每天刷题嘛-monad-maniac:Monads：也许，或者，IO

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