我可以编写一个 State Monad(在 Scala/Java 中),并且当我看到其他人使用它时,我几乎可以遵循逻辑。我不完全理解它正在解决的问题。它是一个包裹 funciton 的 monad S => (S,A)。
因此,当您通过 flatMap 嵌套导致 State Monad 的函数时,它会为您提供一组对数据执行的指令/操作(S)(但尚未执行它们)。直到最后,当你给它一个S并告诉它运行时,它才起作用。
与仅编写函数来完成相同的事情相比,这样做有什么好处?
Monad 不会组合,因此以这种方式拥有这些功能似乎对设计有很大的影响。如果您提供示例代码,请使用 Java 或 Scala(因为我不明白如何阅读 Haskell 或其他严格的函数式语言)。汉克斯!