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

Question

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

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


我原以为它会像 F[A[?_]]，但编译器提示在这种情况下需要类型参数。

Answer 1

使用 Lambda(或 λ)语法有效:

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

找到 here在函数语法下。