Scalaz 错误结合了 EitherT 和 OptionT

Question

我正在使用带有 OptionT 的 scalaZ 的 monad 转换器 EitherT 做一个示例，但我有一个我不明白的编译错误。

这是我的示例代码

class EitherTMonadTransformer {

  case class Error(msg: String)

  case class User(username: String, email: String)

  def authenticate(token: String): Future[Error \/ String] = Future {
    \/.right("token")
  }

  def getUser(username: String): Future[Option[User]] = Future {
    Some(User("paul", "osmosis_paul@gmail.com"))
  }

  val userObj: Future[\/[Error, Nothing]] =
    (for {
      username <- EitherT(authenticate("secret1234"))
      user <- OptionT(getUser(username))
    } yield user.username).run


  @Test
  def eitherTAndOptionT(): Unit = {
    println(userObj)
  }
}

编译错误说

Error:(32, 12) type mismatch;
 found   : scalaz.OptionT[scala.concurrent.Future,String]
 required: scalaz.EitherT[scala.concurrent.Future,EitherTMonadTransformer.this.Error,?]
      user <- OptionT(getUser(username))

知道有什么问题吗？

问候。

Answer 1

问题在于，在 for 表达式中，您不能随意混合和匹配不同的 monad。在这种特殊情况下，您尝试将 OptionT monad 与 EitherT 混合。请记住，monad 转换器本身就是 monad。编译器一看到username <- EitherT(authenticate("secret1234")) 这一行，就会推断EitherT 是for 表达式中使用的monad，并期望它用于其余部分。一种可能的解决方案是更改 getUser 方法返回的类型，例如：

def getUser(username: String): Future[Error \/ User] = Future {
  \/.right(User("paul", "osmosis_paul@gmail.com"))
}

当然，你也必须按如下方式更改 for 表达式：

val userObj: Future[\/[Error, String]] =
  (for {
    username <- EitherT(authenticate("secret1234"))
    user <- EitherT(getUser(username))
  } yield user.username).run

这样类型对齐并且编译器会很高兴地接受它们。