斯卡拉的Monad变形金刚

Question

我一直在尝试简单的Monad变形金刚，我的理解涉及M[F[A]] ，其中M和F是monad。 如果S是不同的monad，如何使M[F[A]]和M[S[A]]在for comp中一起工作？

例如：

val a: Future[List[Int]] = ...
val b: Future[Option[Int]] = ...

a需要ListT[Future, Int]并且b需要OptionT[Future, Int]但这些不构成，我是否需要使用另一个变换器？ 这取决于我在for comp中使用它们的顺序吗？

Answer 1

Monad变形金刚帮助你编写两个F[G[X]]类型的值。

换句话说，monad变换器使用F[G[X]]因为它们利用了如果Monad[G]存在则你知道如何编写两个G[X]的事实。

现在，在F[G[X]和F[H[X]] ，即使你声明G和H有Monad实例，你仍然没有一般的方法来组合它们。

我害怕编写F[G[X]]而F[H[X]]没有使用monad变换器的一般解法。

Answer 2

您可以尝试使用monad变换器堆栈ListT[OptionT[Future, Int]] ，它同时组合所有效果。 您可以将a和b提升为该monad变换器堆栈的值。