我对traverse,traverseU和traverseM的使用案例感到困惑,我在scalaz网站上搜索了它,简单的代码示例:
def sum(x: Int) = x + 1
List(1,2,3).traverseU(sum)
它看起来像(地图和聚合):
List(1,2,3).map(sum).reduceLeft(_ + _)
我认为它不仅仅是针对traverseU,我只是想知道这3种方法之间有什么区别,我会有更好的示例代码来显示差异
非常感谢提前
答案 0 :(得分:66)
sequence
用于聚集应用效果。更具体地说,它允许您“翻转”F[G[A]]
到G[F[A]]
,前提是G
是Applicative
而F
是Traversable
。所以我们可以用它来“拉”一堆Applicative
效果(注意所有Monad
都是Applicative
):
List(Future.successful(1), Future.successful(2)).sequence : Future[List[Int]]
// = Future.successful(List(1, 2))
List(4.set("abc"), 5.set("def")).sequence : Writer[String, List[Int]]
// = List(4, 5).set("abcdef")
traverse
相当于map
然后sequence
,因此当您拥有一个返回Applicative
的函数并且您想获得单个实例时,可以使用它你的Applicative
而不是它们的列表:
def fetchPost(postId: Int): Future[String]
//Fetch each post, but we only want an overall `Future`, not a `List[Future]`
List(1, 2).traverse[Future, String](fetchPost): Future[List[String]]
traverseU
与traverse
的操作相同,只是表达的方式不同,因此编译器可以更容易地推断它们。
def logConversion(s: String): Writer[Vector[String], Int] =
s.toInt.set(Vector(s"Converted $s"))
List("4", "5").traverseU(logConversion): Writer[Vector[String], List[Int]]
// = List("4", "5").map(logConversion).sequence
// = List(4.set("Converted 4"), 5.set("Converted 5")).sequence
// = List(4, 5).set(Vector("Converted 4", "Converted 5"))
traverseM(f)
相当于traverse(f).map(_.join)
,其中join
是flatten
的scalaz名称。它作为一种“提升平面地图”非常有用:
def multiples(i: Int): Future[List[Int]] =
Future.successful(List(i, i * 2, i * 3))
List(1, 10).map(multiples): List[Future[List[Int]]] //hard to work with
List(1, 10).traverseM(multiples): Future[List[Int]]
// = List(1, 10).traverse(multiples).map(_.flatten)
// = List(1, 10).map(multiples).sequence.map(_.flatten)
// = List(Future.successful(List(1, 2, 3)), Future.successful(List(10, 20, 30)))
// .sequence.map(_.flatten)
// = Future.successful(List(List(1, 2, 3), List(10, 20, 30))).map(_.flatten)
// = Future.successful(List(1, 2, 3, 10, 20, 30))