java - 单子和装饰器模式

Question

我是函数式编程的新手。在学习有关 Monads 的教程时，我不得不将其视为 OOP 中装饰器模式的类比。我是正确的还是有任何与 Monads 非常相似的设计模式？

Answer 1

Monads 绝对不是装饰器。没有一个常用的标准 OOP 模式可以直接类比 monad。尽管您可以在 OOP 中很好地实现 monad，但请参见：

• http://logicaltypes.blogspot.sg/2011/09/monads-in-java.html

我所知道的最好的基于 Clojure 的 monad 教程是 Brian Marick 的这个视频系列：

• https://vimeo.com/20717301

我建议仔细看一下——这是一个很好的介绍，有很多例子。

Answer 2

由于 Haskell 中已知的语法糖，您可以开始将 monad 视为“可覆盖的分号”

一般来说，这确实意味着您可以使用相同的控制结构（代码块）来执行不同的操作，具体取决于当前使用的 monad

Haskell 中的快速示例

import Data.Maybe
import Data.List


funcMaybe x = do
  z <- x
  return $ z * z

funcList x = do
  z <- x
  return $ z * z

runMaybe = funcMaybe ( Just 5 )

runList = funcList [ 5, 6 ]

在GHCI中执行，会提示

ghci> runMaybe 
Just 25
ghci> runList 
[25, 36]

如您所见，相同的代码块会产生不同的结果 - 一种情况是 List ，另一种情况是 Maybe ，包装成适当的数据结构

Answer 3

Monad 就像一个function composition on steroids在 OO 世界中没有类似的强大概念。