标签： scalaz
许多特质＆＃39;签名可以发现这种看起来很难看的语法：
private trait CompositionPlus[F[_], G[_]] extends Plus[λ[α => F[G[α]]]]
有人可以向我解释λ[α => F[G[α]]]部分吗？ λ和α似乎都未定义。
λ[α => F[G[α]]]
λ
α
编辑： 我看到这个语法有什么用，但我想知道它是如何被编译器解释的。
答案 0 :(得分：1)
此语法来自kind-projector。它是一个重写
到
({ type L[α] = F[G[α]] })#L