Conceito

Polimorfismo é um conceito utilizado em muitas linguagens de programação, sendo seu conceito básico: Uma operação que pode assumir múltiplas formas, a propriedade segundo o qual uma operação pode comportar-se diferentemente em classes diferentes.


  • Polimorfismo ad hoc
 Não existe um modo único e sistemático de determinar o tipo deresultado de uma função em termos dos tipos dos seusargumentos de entrada.
É uma forma limitada de polimorfismo.
Possui duas formas: coerção e sobrecarga. 
  • Polimorfismo universal
Trabalha potencialmente num conjunto infinito de tipos de modo disciplinado.
Possui duas formas: paramétrico e inclusão.

Propriedades

Prop 1.

Prop 2.

Prop 3.

Prop 4.

Exemplos

Ex 1.

Ex 2.

Referências Bibliográficas

Válida a pesquisa apenas em Livros, Artigos ou Revistas.