如何將此類型的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[α]]]