Scala 中难以理解的语法

Question

我在这篇文章中找到了以下代码 (http://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/)。

trait GenericCategory[->>[_, _]] {
  def id[A]: A ->> A
  def compose[A, B, C](g: B ->> C, f: A ->> B): A ->> C
}

我不知道特征名称旁边的语法

[->>[_,_]]

Answer 1

这是一个higher-kinded type，在this introduction 和这个research paper 中有很好的描述。

您可能会感到困惑的原因是，->> 是高级类型的名称——它也可能被称为 Arrow。