如何将此类型的lambda转换为Kind-Projector语法？

Question

给定类型参数F[_]和A[_]如何将以下类型的lambda转换为更愉快的Kind-Projector语法？

({type λ[α] = F[A[α]]})#λ

我会想到它会是这样的F[A[?_]]，但是编译器抱怨在这种情况下想要类型的参数。

Answer 1

使用Lambda（或λ）语法工作：

λ[α => F[A[α]]]

实测值here下函数语法。

Answer 2

如果可能，应该使用内联语法，但在这种情况下，必须使用函数语法和嵌套参数化类型。

另外，Intellij IDEA 15有一个inspection将类型lambda转换为种类投影仪语法，如果项目启用了种类投影仪。 因此，这是检查将您的类型lambda转换为：Lambda[α => F[A[α]]]