scala - 测试中*的含义是什么？

Question

在猫的测试中，* 作为类型参数出现，例如，这里:

checkAll("Nested[Eval, List, *]", DeferTests[Nested[Eval, List, *]].defer[Int])

(参见 https://github.com/typelevel/cats/blob/master/tests/src/test/scala/cats/tests/NestedSuite.scala#L19 )

我知道编译器会将其翻译为类型级函数，但为什么呢？它是在哪里定义的？它是语言规范的一部分还是 cats 的一部分(或其依赖项之一)？

Answer 1

它是 kind-projector 编译器插件，可将带有星号的类型转换为 lambda 类型

https://github.com/typelevel/kind-projector

以前的语法带有问号，当前的语法带有星号。