JsResult - MonadまたはApplicative？ <code>Monad</code>と<code>Applicative</code>の区別のの

Question

私の理解では、flatMapがMonadはなく、Applicativeに利用可能であるということです。

それが本当ならば、私はこれらのスカラ座で混乱しているがJSON docsを再生する：

をだから、面白いものをJsResult [A]がモナド構造 であり、そのような構造の古典的な機能を使用できることがあります：

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

など

しかし、その後、ドキュメントが言うように行く：。

それがエラーを累積するためJsResult [A]は、単に単項しかしApplicativeの ではないことに注意してくださいは、この累積的な機能により、JsResult [T] は、 がすべてではなく最初のエラーだけを取得するため、理解のために使用するのはあまり良いことになりません。私が理解し、for-comprehensionがflatMapためのシンタックスシュガーであり、以来

、どのようJsResult両方ApplicativeとMonadことができますか？

Answer 1

MonadはApplicativeのサブクラスです。 Applicativeのapplyは、flatMapより弱い操作です。従って、applyは、flatMapの観点から実施することができる。

しかしは、JsResult（または実際にReads）場合には、それはApplicative計算の静的なフォームを利用し、特殊な実装を持っています。

など。下の2つの定義が正しいJSONと同等に振る舞う、まだ（andを使用しています）Applicativeは（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)