scala - 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

これはより高次のタイプであり、この序文とこの研究論文でうまく説明されています。

混乱を招く理由は->>、それがより高次の型の名前であるためですArrow。代わりに呼び出された可能性もあります。