Scala ~> (dấu ngã lớn hơn) điều hành

Question

Tôi có định nghĩa sau lớp scala (tìm thấy trong một bài báo), mô hình loại:

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

ai đó có thể giải thích cho tôi những gì '~>' có nghĩa là trong Thể loại loại tham số, và trong phương thức trả về kiểu? Hoặc trực tiếp cho tôi tới một tài nguyên mà giải thích nó ... Tôi mới đến Scala (đến từ Java), do đó tha thứ cho tôi nếu đó là một cái gì đó một người dùng scala đáng lẽ phải biết ... Cảm ơn bạn trước

Answer 1

~> chỉ là tên trình giữ chỗ cho loại tham số của Category. Giống như số T trong class Option[T].

Ngoài ra, cú pháp Scala cho phép bạn viết B ~> C làm viết tắt cho ~>[B, C].

Có lẽ mọi thứ trở nên rõ ràng hơn, nếu bạn đổi tên nó:

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