swift - 它是 Monad 的一个例子吗？如果不是，为什么？

Question

我正在尝试研究应用于 Swift(一种多范式语言)的函数式编程。我向自己提出的其中一个练习是尝试做一个声明性的扑克手评估器。

下面是一些代码摘录和最后我的问题:

typealias Rule = ([Card]) -> Result

其中 Result 是一种保存当前评估状态的类型(已评估等级的卡片、剩余的卡片、最后一次规则评估是否成功以及评估的等级)。输入是要评估的数组(可以是一组)卡片。

我还创建了这个函数:

func id(_ hand:[Card]) -> Result ...

这从卡片集中创建了一个最小结果。

Result 也有一组函数来链接规则评估(此处简化):

func apply(_ rule:Rule) -> Result
func andThen(_ rule:Rule) -> Result
func andAlso(_ rule:Rule) -> Result
func otherwise(_ rule:Rule) -> Result
func continueWith(_ rule:Rule) -> Result

什么允许我将扑克排名规则声明为:

let fullHouse = { (hand) in
   threeOfAKind(hand).andThen(pair)
}

或

let royalStraightFlush = { (hand)  in
  straightFlush(hand).andAlso(straightAceHigh)
}

并将所有排名规则链接为:

let evaluate = { (hand) in
//id(hand)
    royalStraightFlush(hand)
    .otherwise(straightFlush)
    .otherwise(fourOfAKind)
    .otherwise(fullHouse)
    .otherwise(flush)
    .otherwise(straight)
    .otherwise(threeOfAKind)
    .otherwise(twoPair)
    .otherwise(pair)
    .continueWith(highCard) }

结果，原样:

• 将类型 ([Card]) 包含到更广泛的上下文 (R a) 中
• 有一个 id(结果)函数，将类型 a 的对象放入最小“结果”上下文 (a -> R a)

但是……

• 它不仅有一个通用的 >>= 绑定(bind)函数，还有几个特定的​​函数，需要 R a -> (a -> R a) -> R a 可以链接规则并将卡片设置为从先前的部分结果状态进行评估。

• 它(在实现时)不够通用，无法处理 Card 或 [Card] 以外的其他类型。另一方面，我认为可以在其他规则系统上使用相同的链接逻辑并进行一些更改...

我的问题是:Result 是 monad 吗？否则，为什么不是呢？我的两个担忧是上面提到的那些。

我认为在这个具体示例中理解这些要点(或知道这些是其他一些盲点)会稍微澄清 monad 的概念。

谢谢!

Answer 1

Monad 必须遵守三个 Monad 法则:

• 左恒等式:return a >>= f ≡ f a
• 正确的身份:m >>= return ≡ m
• 结合性:(m >>= f) >>= g ≡ m >>= (\x -> f x >>= g)

这也意味着为你的 monad 实现 return(或等价物)和 >>=(各种称为 bind、flatmap 等).. Haskell(和其他语言)也添加了 map 功能(>>>)，即使它可以根据 >>= 来实现。

此外，正如@chepner 指出的那样，monad 是抽象的，它们本身并不是具体的类型。它们是通用的，只能通过类型构造函数实例化。 List 是一个 monad，但您不能实例化 List。但是，您可以实例化一个 List[Int]。

如果您想从概念上很好地了解是什么让 monad 成为 monad，请观看 Brian Beckman 的视频 Don't Fear the Monad .此外，还有一系列不错的博客文章，Monads are Elephants .