Scala ~> operatörü

Question

(büyüktür tilde) Aşağıdaki scala sınıfı tanımı (bir kağıt bulunur), modelleme kategoriler vardır:

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

birisi '~>' Kategori ne anlama geldiğini bana açıklayabilir type parametresi ve yöntemlerde dönüş tipi? Ya Scala (Java gelen) yeniyim, böylece bir scala kullanıcı bilmeliydim şey olursa beni affet ... bunu açıklayan bir kaynak beni direkt ... şimdiden teşekkürler

Answer 1

~> sadece Category'un tip-parametresi için yer tutucu adıdır. class Option[T]'daki T gibi.

Ayrıca, Scala sözdizimi ~>[B, C] için bir kısa yol olarak B ~> C yazmanızı sağlar. Yeniden adlandırmak,

Belki işler daha net olsun:

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