Scala:类型参数中的问号

Question

我正在尝试理解以下代码(来自 Scalaz 库):

def kleisliIdApplicative[R]: Applicative[Kleisli[Id, R, ?]] = ...

我假设 T[P0, ?] 形式的类型是一个带有参数的类型构造函数。但是我无法找到解释类型参数中问号用法的文档。

一个相关的问题是问号和下划线有什么区别？

是否有一个地方可以详细记录所有这些内容？

Answer 1

问号语法来自一个名为 kind-projector 的编译器插件.

您可以在此处看到它包含在 scalaz 构建中:https://github.com/scalaz/scalaz/blob/series/7.3.x/project/build.scala#L310

插件翻译

Kleisli[Id, R, ?]

(大致)

({type L[A] = Kleisli[Id, R, A]})#L

这是表达 lambda 类型(即部分应用的类型构造函数)的相当复杂的方式(但不幸的是 Scala 中的唯一方式)。