Scalaz Functor typeclass 特殊符号

Question

最近我遇到了这个 Scalaz 代码（例如https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Functor.scala）：

def compose[G[_]](implicit G0: Functor[G]): Functor[λ[α => F[G[α]]]] =
    new CompositionFunctor[F, G] {
      implicit def F = self
      implicit def G = G0
    }

“函子”内的类型表达式的含义/目的是什么，即 λ[α => F[G[α]]]？到目前为止，我只看到了类型别名，例如在http://like-a-boss.net/2014/09/27/type-lambda-in-scala.html

new Functor[A, ({ type Alias[A] = Tuple2[X, A]})#Alias]

此外，Intellij Idea (14.0.3) 无法解析符号。 Scalaz 在 Intellij 外部由 sbt 构建，然后导入 Intellij。知道会是什么情况吗？

Answer 1

kind-projector Scala 插件启用了此语法。它允许以更简洁的方式编写类型 lambda：

Functor[λ[α => F[G[α]]]]

如果没有插件，它看起来像：

Functor[({type λ[x] = G[F[x]]})#λ]