7

我正在尝试为Monad具有多个类型参数的类型实现猫实例。我查看了猫Either实例，看看它是如何在那里完成的。来自猫的部分Either Monad实例代码复制如下：

import cats.Monad

object EitherMonad {
  implicit def instance[A]: Monad[Either[A, ?]] =
    new Monad[Either[A, ?]] {
      def pure[B](b: B): Either[A, B] = Right(b)

      def flatMap[B, C](fa: Either[A, B])(f: B => Either[A, C]): Either[A, C] =
        fa.right.flatMap(f)
    }
}

它无法编译并出现以下错误：error: not found: type ?

为我自己的类型创建实例时，类型是什么?？如何使用它？

4

1 回答 1

10

它是由kind 投影仪插件添加的所谓类型 lambdas 的特殊语法。

Either[A, ?]

是一个捷径

({type L[X] = Either[A, X]})#L

整个代码去糖

import cats.Monad

object EitherMonad {
  implicit def instance[A]: Monad[({type L[X] = Either[A, X]})#L] = new Monad[({type L[X] = Either[A, X]})#L] {
    def pure[B](b: B): Either[A, B] = Right(b)

    def flatMap[B, C](fa: Either[A, B])(f: B => Either[A, C]): Either[A, C] =
      fa.right.flatMap(f)
  }
}

类型 lambdas 看起来很吓人，但它们本质上是一个非常简单的概念。你有一个需要两个类型参数的东西，比如Either[A, B]. 您想为 Either 提供一个 monad 实例，但trait Monad[F[_]]只接受一个类型参数。但原则上没关系，因为你的 monad 实例只关心第二个（“正确”）类型参数。类型 lambda 只是“修复”第一个类型参数的一种方法，因此您具有正确的形状。

如果你在价值层面上做同样的事情，你甚至不会考虑两次。你有两个参数的函数

val f: (Int, Int) => Int = ...

还有你想传递 f 的东西，它只需要 1 个参数

def foo(x: Int => Int) = ...

使事情变得合适的唯一方法是解决其中一个论点

foo(x => f(1, x))

这正是 lambda 在类型级别所做的事情。

于 2015-12-20T21:42:21.750 回答