Question

如何使用for

类型的数据对Future[\/[String,Int]]进行理解

这是一个不能编译的起点。

import scala.concurrent.{ExecutionContext,future,Future}
import scalaz._
import Scalaz._
import ExecutionContext.Implicits.global

def calculateStuff(i:Int):Future[\/[String,Int]] = future{\/-(i)}

for {
   v1Either <- calculateStuff(1)
   v1Int <- v1Either
   v2Either < calculateStuff(v1Int)
   v2Int <- v2Either
   v3Either <- calculateStuff(v2Int)
   v3Int <- v3Either
} yield {
   v1Int + v2Int + v3Int
}

注意：calculateStuff只是一个例子，实际上会有不同的功能，每个功能都取决于前一个的结果。

Answer 1

首先请注意，我假设您有充分的理由实施自己的错误处理（通过\/），而不是使用Future内置的功能

如果是这种情况，那么正如你的标签所暗示的那样，这种问题正是monad变换器的用途 - 只需将你的计算包装在EitherT中：

import scalaz._, Scalaz._, contrib.std._
import scala.concurrent.{ ExecutionContext, future, Future }
import ExecutionContext.Implicits.global

def calculateStuff(i: Int): EitherT[Future, String, Int] =
  EitherT(future(\/-(i)))

val computation = for {
   v1Int <- calculateStuff(1)
   v2Int <- calculateStuff(v1Int + 1)
   v3Int <- calculateStuff(v2Int + 2)
} yield v1Int + v2Int + v3Int

请注意，我在Typelevel的scalaz-contrib库中使用Monad Future实例。

现在computation.run将为您提供Future[String \/ Int]。

如果需要在计算中注入纯值，可以使用point和类型lambda：

v4Int <- 1.point[({ type L[x] = EitherT[Future, String, x] })#L]

您还可以定义自己的类型别名，以使其看起来更好。

如果您想在\/ - 理解中使用for值，您只需将其指向Future并将整个内容包装在EitherT中：

v5Int <- EitherT(1.right[String].point[Future])

也可以将一个普通的Future提升到变形后的monad中（有点混淆地命名）liftM：

v6Int <- future(1).liftM[({ type T[m[+_], a] = EitherT[m, String, a] })#T]

在这种情况下，您几乎肯定需要一个类型别名 - 该行主要是噪音。

如何在scala中链接Future [\ / [A，B]]？

1 个答案: