parameter - scala type

Significado de dos puntos adicionales en la parametrización de la clase Scala

Question

¿Qué significa [A : Manifest : WireFormat] en el siguiente código? Es de com.nicta.scoobi.TextInput (disponible en github). No parece ser ninguno de los límites de tipo habituales.

 def fromDelimitedTextFile[A : Manifest : WireFormat]
(path: String, sep: String = "/t")
(extractFn: PartialFunction[List[String], A])
: DList[A] = {
val lines = fromTextFile(path)
lines.flatMap { line =>
val fields = line.split(sep).toList
if (extractFn.isDefinedAt(fields)) List(extractFn(fields)) else Nil
}
}

¿Dónde puedo encontrar más información sobre este tema?

Answer 1

Esto se denomina un límite de contexto. Son azúcar sintáctica para una lista de parámetros implícita:

def meth[A : ContextBound1 : ContextBoundN](a: A)
// ==>
def meth[A](a: A)(implicit evidence: ContextBound1[A], ContextBoundN[A])

Si hay varios límites de contexto de 1 a N, todos se traducen a la misma lista de parámetros. Consulte esta pregunta para obtener una explicación más detallada sobre cómo funcionan y para qué sirven.

Para encontrar tales símbolos, es útil leer el Tutorial de Scala .