scala - 将 monad 组合成元组运算符 scalaz

Question

因此，Scala 中一个非常常见的模式是 for 理解，如下所示:

for {
  i <- monadA
  j <- monadB
} yield (i, j)

对于 3 元组、...、n 元组也是如此。这在我的代码中变得如此普遍，我想象 scalaz 提供了一些很棒的运算符来为我做到这一点，例如monadAunnyOperatormonadBfunnyOperatormonadC。我环顾四周，似乎找不到任何东西。因此，我为 2 元组和 3 元组定义了自己的隐式类，但更喜欢使用 scalaz。

奖金

作为当前接受的答案，很高兴看到有人告诉如何进行编译:

import scalaz.Scalaz._

// Like a 1 element list
case class MyMonad[+T](x: T) {
  def map[U](f: T => U): MyMonad[U] = MyMonad(f(x))
  def flatMap[U](f: T => MyMonad[U]): MyMonad[U] = f(x)
}

val myMonad: MyMonad[(Int, Int)] = (MyMonad(1) |@| MyMonad(2)).tupled

并且不给出:

error: value |@| is not a member of MyMonad[Int]

额外解决方案:

您需要“提供一个应用实例”，例如

implicit def myMonadApplicative: Bind[MyMonad] = new Bind[MyMonad] {
  def bind[A, B](fa: MyMonad[A])(f: A => MyMonad[B]): MyMonad[B] = fa.flatMap(f)
  def map[A, B](fa: MyMonad[A])(f: A => B): MyMonad[B] = fa.map(f)
}

Answer 1

鉴于每个 Monad 都是一个 Applicative，您也可以使用

(monadA |@| monadB).tupled

例如

scala> val b: List[(Int, Int)] = (List(1, 2, 3) |@| List(4, 6)).tupled
b: List[(Int, Int)] = List((1,4), (1,6), (2,4), (2,6), (3,4), (3,6))