Scala ~> (тильда больше) оператора

Question

У меня есть следующее определение класса Scala (содержится в документе), моделирующие категории:

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

может кто-то объяснить мне, что «~>» означает, что в категории type, а в методе возвращаемого типа? Или направить меня к ресурсу, который объясняет это ... Я новичок в Scala (исходя из Java), так что простите меня, если что-то пользователь должен Scala известно ... Спасибо заранее

Answer 1

~> - это просто имя-заполнитель для параметра типа Category. Как T в class Option[T].

Кроме того, синтаксис Scala позволяет вам написать B ~> C в виде сокращенного описания для ~>[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] 
}