软件开发爱好者noted the following：
当前状态：在生成器函数和 monad 理解之间建立直观联系后，强制重写我所有的 JS。
我觉得我在那里错过了什么。我对回调地狱的解决方案是使用js-csp 之类的东西（即队列）。
我的问题是：生成器函数和 JavaScript 中的 monad 之间有什么联系？
【问题讨论】：
标签： javascript generator monads
没有。
虽然生成器函数可能看起来非常类似于 monad 推导式（即do 表示法），但它们并不通用。主要问题是 ES6 生成器是有状态的，并且每次延续只能推进一次。尝试与他们一起实现 list monad 并看到它失败。
可以使用支持它们的 compile-to-JS 语言（如 LatteJs、monadic、PureScript 或 LispyScript）或 sweet.js macros 来实现真正的 monad 理解。它们通常对回调进行去糖 - 就像在 Haskell 中一样。
【讨论】：
run 的示例。看起来run 从指定解析器序列的生成器创建了一个解析器，但它无法进行回溯。他的Parser<A> 类型（这是一个函数）确实是一元的，有ret 和seq。
不，感知到的直觉本质是脆弱的。
连续的 yield 语句看起来像某种顺序并发 monad 中的嵌套延续，但任何 monad 中的每个后续“效果”不需要重复/不确定的应用程序。
您可以使用生成器来实现 monad 的实例，但我认为这就是关系的范围（即不一定是直观的）； monad 似乎更通用。
monad comprehension 一词似乎是指将列表理解实现为 monad。请参阅Comprehending Monads，（简介和第 2.2 节）。 然而，在 JS 开发中，“monad comprehension”通常与“monad”互换使用。
而且我从未听说过“恢复”这个词，也找不到它的定义/依据。
我现在无法访问 twitter，但也许你的朋友正在尝试创建一个惰性 lodash/underscore/list-homomorphism 库？
【讨论】：