Scalaz函子类型类特殊符号

最近我遇到了这个Scalaz代码（例如）：

“函子”中类型表达式的含义/用途是什么，即λ[α=>F[G[α]]？到目前为止，我只看到输入别名，例如in

---

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

此语法由

kind projector

Scala插件启用。它允许以更简洁的方式编写lambda类型：

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

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

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

---

谢谢你，现在我明白了。不幸的是，我似乎被Intellij困住了。我发现该插件在Scalaz的项目文件夹中的Build.scala中声明为sugged（），但这并没有最终反映在IDE中。你有在Intellij中设置编译器插件的经验吗？这基本上意味着你不能在Intellij Idea中玩/开发Scalaz。那么，您还可以使用什么样的ide/编辑器呢？

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

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