Definición de Polimorfismo

Anuncios

(polymorphism). En programación, polimorfismo es una característica de un lenguaje de programación que permite a los valores de diferentes tipos de datos ser manejados usando una interfaz uniforme. También hay funciones polimórficas: es una función que puede ser evaluada o ser aplicada a valores de diferentes tipos.

Dos tipos de polimorfismo: ad-hoc y paramétrico

Existen dos tipos de polimorfismo:

* Polimorfismo ad-hoc: si el rango de tipos actuales que pueden ser usados es finito y las combinaciones deben ser especificadas individualmente antes de usarse.

* Polimorfismo paramétrico: si todo el código es escrito sin mención de ningún tipo específico y así poder ser usado transparentemente con nuevos tipos.

En programación orientada a objetos, el poliformismo ad-hoc es generalmente soportado a través de la herencia, por ejemplo, objetos de diferentes tipos pueden ser tratados uniformemente como miembros de una superclase común. El poliformismo ad-hoc es también soportado en muchos lenguajes usando funciones y métodos sobrecargados.

El polimorfismo paramétrico es ampliamente soportado en lenguajes de programación funcionales de tipado estático.