Question

Either是右偏置的Scala 2.12，允许它在没有投影的for / yield块中使用，就像Option一样。但显然，与Option一起使用时，此行为不足flatMap。

object Main {

  def main(args: Array[String]): Unit = {

    val nums = List.range(1,10)

    println(nums.flatMap(evenOption))
    println(nums.flatMap(evenEither)) // fails

  }

  def evenOption(x: Int): Option[Int]       = if (x % 2 == 0) Some(x) else None
  def evenEither(x: Int): Either[String, Int] = if (x % 2 == 0) Right(x) else Left("not even")

}

我的最小范畴理论知识让我觉得Either不是monad，因此失败了？或者我怎样才能使上面的例子工作？

Answer 1

与成为或不成为monad无关。当您在某些数据结构上执行flatMap方法时，您传入的函数必须返回该数据结构的实例。因此，当您对选项进行平面映射时，您的函数必须返回一个选项。如果你对Future进行平面映射，你的函数必须返回Future。 List也是如此：列表上的flatmapping必须返回List本身。那么为什么List.flatMap(Option)工作而List.flatMap(Either)不工作？因为存在从Option到Iterable（Option.option2Iterable）的隐式转换，并且该转换发生在您的示例中。对于Either数据类型没有这样的转换（除非您自己创建）。

Answer 2

将List[Either[String,Int]]展平为List[Int]没有隐含的规则，因此您必须提供这样做的方法。

nums.map(evenEither).flatten {case Right(e) => List(e)
                              case _ => List()}

但这可以更直接地表达出来。

nums.collect{case x if evenEither(x).isRight => x}

在Scala中的List [Either]上使用flatMap

2 个答案: