scala - 理解 Scala 中的 monad 转换器

Question

我试图了解如何使用 Monad Transformers。我读了wiki article关于它，仍然有一些问题。

我们有IO需要读取用户输入的 monad。但并不总是提供输入。所以它是 Option .为了简化，我们可以定义一个 monad OptionT它“封装”了 IO 的操作单子(monad)。

在我的特殊情况下，我有两种类型的单子(monad) Future[Option[String]]和 Future[List[Int]] .这意味着简化它我需要两个不同的变压器ListT[T]和 OptionT[T]对于我嵌入的每种单子(monad)类型 Future行为……对吧？

Answer 1

是的，monad 转换器的工作方式是帮助您处理正在被“外部”monad“转换”的“内部”monad。

所以F[Option[A]可以变成OptionT[F, A] (其中 F 是任何单子(monad))，这更容易使用。

关于 ListT ，可能没那么容易。例如 cats不提供，见 their FAQ了解更多信息。正如他们所建议的，您可以使用 Nested作为不需要 flatMap 的情况的替代品， 例如:

import cats._
import cats.implicits._
import cats.data.Nested
import scala.concurrent.Future
import scala.concurrent.Implicits.global

val futList = Future(List(1, 2, 3))
Nested(futList).map(_ + 1).value // Future(List(2, 3, 4))

如果你想对 monad 更改器(mutator)有另一种看法，这是我撰写的一篇短文: https://blog.buildo.io/monad-transformers-for-the-working-programmer-aa7e981190e7