scala - 是什么 ？类型？

Question

我正在尝试实现一只猫 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 ?
什么是?类型以及在为我自己的类型创建实例时如何使用它？

Answer 1

它是由 kind projector plugin 添加的所谓类型 lambda 的特殊语法。 .

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)
  }
}

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

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

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

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

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

使事情合适的唯一方法是修正其中一个论点

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

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