scala - 组成 future 和期权

Question

我有四种类型A、B、C和D，初始值x Future[Option[A]] 和三个函数:f1: A => Option[B] , f2: B => Future[Option[C]] 和 f3: C => D。

我如何编写一个以 x 开头的 for 理解，它会产生一个 Future[Option[D]] 类型的值会是三个函数的“组合”吗？

Answer 1

为此，您可以使用 monad 转换器(来自 Scalaz):

import scalaz.OptionT
import scalaz.std.option._
import scalaz.syntax.monad._
val result: Future[Option[D]] = (for {
  a <- OptionT(x)
  b <- OptionT(f1(a).point[Future])
  c <- OptionT(f2(b))
} yield f3(c)).run

Future 需要一个 monad 实例； scalaz-contrib 中有一个。