scala - この型ラムダを Kind-Projector 構文に変換するにはどうすればよいですか?

Question

の型パラメータを指定しF[_]てA[_]、次の型ラムダをより快適な Kind-Projector 構文に変換するにはどうすればよいですか?

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

のようなものになると想像していましたF[A[?_]]が、この場合、コンパイラは型パラメーターが必要だと不平を言います。

Answer 1

Lambda(またはλ) 構文を使用すると、次のように機能しました。

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

ここのFunction Syntaxの下にあります。

Answer 2

可能な場合はインライン構文を使用する必要がありますが、この場合、ネストされたパラメーター化された型で関数構文を使用する必要があります。

また、Intellij IDEA 15 には、プロジェクトで種類のプロジェクターが有効になっている場合、型ラムダを種類のプロジェクター構文に変換するためのインスペクションがあります。したがって、これはインスペクションが型ラムダを次のように変換したものです。Lambda[α => F[A[α]]]