Scala ~> (tilde mayor que)

Question

que tienen la siguiente definición de clase Scala (que se encuentra en un papel), las categorías de modelado:

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

alguien me puede explicar lo que el '~>' significa en la categoría tipo de parámetro, y en los métodos return type? O me directo a un recurso que lo explica ... Soy nuevo en Scala (procedente de Java), así que perdónenme si eso es algo que un usuario Scala debería haber sabido ... gracias de antemano

Answer 1

~> es solo el marcador de posición para el parámetro de tipo Category. Como el T en class Option[T].

Además, la sintaxis de Scala le permite escribir B ~> C como una abreviatura de ~>[B, C].

Tal vez las cosas se ponen más clara, si cambia el nombre es:

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