Scalaの〜>演算子

Question

（より大きいチルダ）私はカテゴリをモデル化し、（紙で見つかった）次のScalaクラス定義を持っている：

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

誰かが「〜>」カテゴリに何を意味するのか私に説明することができます型パラメータ、およびメソッドの戻り値の型？ または私はスカラ座（ジャワから来る）に新たなんだ、だから、Scalaのユーザーが知っているべきものだなら、私を許して...それを説明してリソースに を私に指示が... は、事前にありがとう

Answer 1

~>は、タイプパラメータCategoryのプレースホルダ名にすぎません。 class Option[T]のTと同様です。

さらに、を~>[B, C]の略語として書くことができます。あなたが名前を変更した場合、物事は、明確に取得

は多分：

trait Category[Mapping[_, _]] { 
    def compose[A, B, C](f: Mapping[B, C])(g: Mapping[A, B]): Mapping[A, C] 
    def id[A]: Mapping[A, A] 
}