微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

在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数据类型没有这种转换(除非您自己创建).

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐