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

Question

Either是右偏的，因为 Scala 2.12 允许它在没有投影的情况下用于 for/yield block ，就像 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.flatMap(Option)工作和List.flatMap(Either)不是吗？因为存在从 Option 到 Iterable ( Option.option2Iterable ) 的隐式转换，并且该转换发生在您的示例中。 Either 数据类型没有这样的转换(除非您自己创建它)。