Sommario:
- Definizione - Cosa significa polimorfismo parametrico?
- Techopedia spiega il polimorfismo parametrico
Definizione - Cosa significa polimorfismo parametrico?
Il polimorfismo parametrico è una tecnica del linguaggio di programmazione che consente la definizione generica di funzioni e tipi, senza grande preoccupazione per gli errori di tipo. Permette al linguaggio di essere più espressivo durante la scrittura di codice generico che si applica a vari tipi di dati. Le funzioni scritte nel contesto del polimorfismo parametrico funzionano su vari tipi di dati.
Techopedia spiega il polimorfismo parametrico
Il polimorfismo parametrico è il principio fondamentale alla base di linguaggi e strutture di programmazione generici. Consente la creazione di funzioni e tipi di dati generici che operano su valori, indipendentemente dal tipo di dati.
Ad esempio, se una funzione di programmazione opera su due valori diversi, i valori possono essere collegati, anche se non hanno gli stessi tipi di dati. Un esempio è l'unione di un elenco di numeri interi con un valore in virgola mobile.
Ada, Haskell, Visual Prolog, Scala, Java e C # sono linguaggi di programmazione che supportano il polimorfismo parametrico.
