Índice:
Definição - O que significa polimorfismo paramétrico?
O polimorfismo paramétrico é uma técnica de linguagem de programação que permite a definição genérica de funções e tipos, sem grande preocupação com erros de tipo. Ele permite que o idioma seja mais expressivo ao escrever um código genérico que se aplica a vários tipos de dados. Funções escritas em contexto com polimorfismo paramétrico funcionam em vários tipos de dados.
Techopedia explica polimorfismo paramétrico
O polimorfismo paramétrico é o princípio central por trás de estruturas e linguagens de programação genéricas. Permite a criação de funções genéricas e tipos de dados que operam em valores, independentemente do tipo de dados.
Por exemplo, se uma função de programação opera com dois valores diferentes, os valores podem ser anexados, mesmo que eles não tenham os mesmos tipos de dados. Um exemplo é ingressar em uma lista de números inteiros com um valor de ponto flutuante.
Ada, Haskell, Visual Prolog, Scala, Java e C # são linguagens de programação que suportam polimorfismo paramétrico.
