scala - 使用 scalaz 函数编译 foldleft 时，scala 编译器奇怪地抱怨

Question

我最近碰巧和 scalaz 一起工作>>=。我将所有应该绑定的方法>>=放在一个列表中，foldleft如下所示，

val dataMap:Map[K,V]

def call[F](funcList:List[funcOb[K, V, F]]):Either[F,Seq[(K,Option[V])]] = {
  type t[a] = Either[F,a]
  funcList.
    map(v => {
      v.funcs.
        foldLeft((v.name,dataMap.get(v.name)).right[F])( _ >>= _ )
    }
  ).sequence[t,(K,Option[V])]
}

case class funcOb[K,V,F]( name:K,
     funcs:List[(K,Option[V]) => Either[F, (K, Option[V])]] = List.empty )

现在我收到一个有趣的错误，抱怨 required 类似于 found

...: type mismatch;
[error]  found   : (K, Option[V]) => Either[F,(K, Option[V])]
[error]  required: (K, Option[V]) => Either[F,(K, Option[V])]
[error]             foldLeft((v.name,dataMap.get(v.name)).right[F])( _ >>= _ )

我无法理解这种行为。有什么遗漏吗？

Answer 1

它需要一个Function1[(A, B), C]. 您的列表包含类型的函数Function2[A, B, C]。因此，您需要先将函数转换为元组形式，然后才能应用它。

以下作品：

def call[F](funcList: List[funcOb[K, V, F]]): Either[F, Seq[(K, Option[V])]] = {
  type t[a] = Either[F, a]
  funcList.
    map(v => {
      v.funcs.
        foldLeft((v.name, dataMap.get(v.name)).right[F])(_ >>= _.tupled)
    }
  ).sequence[t, (K, Option[V])]
}