JsResult-Monad还是适用性？

Question

我之间的区别之一的理解Monad和Applicative是flatMap可用的Monad ，而不是Applicative 。

如果是这样，我会对这些Scala Play JSON 文档感到困惑：

因此，有趣的是JsResult [A]是单子结构，并且可以与此类结构的经典功能一起使用：

flatMap [X]（f：A => JsResult [X]）：JsResult [X]

等等

但是，然后文档继续说：

请注意，JsResult [A]不仅是Monadic的，而且是可应用的，因为它会累积错误。 此累积功能使JsResult [T]不能很好地用于理解，因为您只会得到第一个错误，而不是全部。

因为，据我所知，一个for-comprehension是语法糖flatMap ，怎么能JsResult既是Applicative和Monad ？

Answer 1

Monad是Applicative的子类。 Applicative的apply比flatMap操作弱。 因此apply可以用flatMap来实现。

但是 ，在JsResult （或实际为Reads ）的情况下，它具有利用Applicative计算的静态形式的特殊实现。

例如，下面的两个定义与正确的JSON等效，但是在错误的情况下， Applicative （使用and ）具有更好的错误消息（例如，提及bar和quux均无效）：

val applicativeReads: Reads[Foo] = (
  (__ \ "bar").read[Int] and
  (__ \ "quux").read[String]
)(Foo.apply _)

val monadicReads: Reads[Foo] = for {
  bar <- (__ \ "bar").read[Int]
  quux <- (__ \ "quux").read[String]
} yield Foo(bar, quux)