Either
是右偏置的Scala 2.12,允许它在没有投影的情况下用于/ 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无关.当您flatMap
在某些数据结构上执行方法时,您传入的函数必须返回该数据结构的实例.因此,当您对选项进行平面映射时,您的函数必须返回一个选项.如果你对Future进行平面映射,你的函数必须返回Future.List也是如此:列表上的flatmapping必须返回List本身.那么为什么你的List.flatMap(Option)
工作而List.flatMap(Either)
不是呢?因为存在从Option到Iterable(Option.option2Iterable
)的隐式转换,并且该转换发生在您的示例中.Either数据类型没有这种转换(除非您自己创建).