正确的做法是不使用 Scala 进行理解

Question

背景

我试图将 Scala 的推导式与 Either 类型一起使用，即使用 Right。 然而，尽管我付出了努力，我还是收到错误并且没有任何效果。

代码

我正在使用 scala 的 repl 进行一些测试。这是我能想到的最简单的用例：

scala> for {
     |   x <- Right(1)
     |   y <- Right(2)
     |   z <- Right(3)
     | } yield x + y + z

您将看到它基本上是此页面的副本：

https://www.scala-lang.org/api/2.12.7/scala/util/Either.html

问题

但是，此操作失败并出现以下错误:

<console>:13: error: value flatMap is not a member of scala.util.Right[Nothing,Int]
         x <- Right(1)
                   ^
<console>:14: error: value flatMap is not a member of scala.util.Right[Nothing,Int]
         y <- Right(2)
                   ^
<console>:15: error: value map is not a member of scala.util.Right[Nothing,Int]
         z <- Right(3)
                   ^

我正在使用以下版本scala 的：

Welcome to Scala 2.11.12 (OpenJDK 64-Bit Server VM, Java 11.0.13).
Type in expressions for evaluation. Or try :help.

我知道对 Either 进行了一些更改，因此它变得右偏，但我不知道这些更改会如何影响此示例。

我缺少什么？

Answer 1

在 scala 2.11 中，Either 不是 Monad。其中缺少诸如 flatMap 和 map 之类的组合器。相反，您可以调用 .right 或 .left 来获取确实具有组合器的 RightProjection 或 LeftProjection。您需要正确地预测您的任一。下面的代码将返回Right(6)。

  for {
    x <- Right(1).right
    y <- Right(2).right
    z <- Right(3).right
  } yield x + y + z