DocumentationMétodos polimórficos
Los métodos en Scala pueden ser parametrizados tanto con valores como con tipos. Como a nivel de clase, parámetros de valores son encerrados en un par de paréntesis, mientras que los parámetros de tipo son declarados dentro de un par de corchetes.
Aquí hay un ejemplo:
object PolyTest extends App {
def dup[T](x: T, n: Int): List[T] =
if (n == 0) Nil
else x :: dup(x, n - 1)
println(dup[Int](3, 4)) // linea 5
println(dup("three", 3)) // linea 6
}
El método dup en el objeto PolyTest es parametrizado con el tipo T y con los parámetros x: T y n: Int. Cuando el método dup es llamado, el programador provee los parámetros requeridos (vea la linea 5 del programa anterior), pero como se muestra en la linea 6 no es necesario que se provea el parámetro de tipo T explicitamente. El sistema de tipado de Scala puede inferir estos tipos. Esto es realizado a través de la observación del tipo de los parámetros pasados y del contexto donde el método es invocado.
Por favor note que el trait App está diseñado para escribir programas cortos de testeo, pero debe ser evitado en código en producción (para versiones de Scala 2.8.x y anteriores) ya que puede afectar la habilidad de la JVM de optimizar el código resultante; por favor use def main() en su lugar.
Contents
- Introduction
- Tipos Abstractos
- Anotaciones
- Clases
- Clases Case
- Tipos Compuestos
- Sequencias por Comprensión
- Objetos Extractores
- Clases genéricas
- Parámetros implícitos
- Clases Internas
- Composición de clases mixin
- Funciones Anidadas
- Sintaxis de funciones anónimas
- Currying
- Construcción de closures automáticas
- Operadores
- Funciones de orden superior
- Reconocimiento de patrones
- Métodos polimórficos
- Patrones basados en expresiones regulares
- Traits
- Límite de tipado superior
- Límite de tipado inferior
- Autorefrencias explicitamente tipadas
- Inferencia de tipos Local
- Tipos Unificados
- Varianzas
- Vistas
- Procesamiento de documentos XML
