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

两者都是右偏置的 Scala 2.12,允许它在没有投影的情况下用于for / yield块,就像Option一样.但显然,当与flatMap一起使用时,这不足以表现得像Option一样.

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")

}

我的最小范畴理论知识让我觉得要么不是monad,所以这会失败？或者我怎样才能使上面的例子工作？

解决方法

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