Definición - ¿Qué significa polimorfismo paramétrico?
El polimorfismo paramétrico es una técnica de lenguaje de programación que permite la definición genérica de funciones y tipos, sin una gran preocupación por los errores basados en tipos. Permite que el lenguaje sea más expresivo al escribir código genérico que se aplica a varios tipos de datos. Las funciones escritas en contexto con polimorfismo paramétrico funcionan en varios tipos de datos.
Techinfo explica el polimorfismo paramétrico
El polimorfismo paramétrico es el principio central detrás de las estructuras y los lenguajes de programación genéricos. Permite la creación de funciones genéricas y tipos de datos que operan sobre valores, independientemente del tipo de datos.
Por ejemplo, si una función de programación opera con dos valores diferentes, los valores se pueden adjuntar, aunque no tengan los mismos tipos de datos. Un ejemplo es unir una lista de números enteros con un valor de punto flotante.
Ada, Haskell, Visual Prolog, Scala, Java y C # son lenguajes de programación que admiten polimorfismo paramétrico.