Scala ~> (tylda większe niż) operatora

Question

Mam następującą definicję klasy Scala (znaleziono w papierze), modelowanie Kategorie:

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

może ktoś mi wyjaśnić, co „~>” oznacza w kategorii typ parametru i typ zwracany przez metodę? lub skierować mnie do zasobu, który wyjaśnia to ... Jestem nowy w Scala (pochodzące od Java), więc wybacz mi, jeśli to coś scala użytkownik powinien wiedzieć ... góry dziękuję

Answer 1

~> jest po prostu nazwą zastępczą dla parametru typu Category. Podobnie jak T w class Option[T].

Dodatkowo, składnia Scala umożliwia napisanie B ~> C jako skróconego dla ~>[B, C].

Może robi się jaśniejsze, jeśli przemianować go:

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] 
}