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),因此失败了?或者我怎样才能使上面的例子工作?
最佳答案
它与是否是单子(monad)无关。当你执行 flatMap
在某些数据结构上的方法,您传递到的函数必须返回该数据结构的实例。因此,当您对选项进行平面映射时,您的函数必须返回一个选项。如果你在 Future 上进行平面映射,你的函数必须返回一个 Future。列表也是如此:列表上的平面映射必须返回列表本身。那么为什么你的List.flatMap(Option)
工作和List.flatMap(Either)
不是吗?因为存在从 Option 到 Iterable ( Option.option2Iterable
) 的隐式转换,并且该转换发生在您的示例中。 Either 数据类型没有这样的转换(除非您自己创建它)。
关于scala - 在 Scala 中的 List[Either] 上使用 flatMap,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41704619/