Définition - Que signifie le polymorphisme paramétrique?
Le polymorphisme paramétrique est une technique de langage de programmation qui permet la définition générique de fonctions et de types, sans trop se soucier des erreurs de type. Il permet au langage d'être plus expressif lors de l'écriture de code générique qui s'applique à divers types de données. Les fonctions écrites en contexte avec le polymorphisme paramétrique fonctionnent sur différents types de données.
Definir Tech explique le polymorphisme paramétrique
Le polymorphisme paramétrique est le principe fondamental des langages et des structures de programmation génériques. Il permet la création de fonctions génériques et de types de données qui opèrent sur des valeurs, quel que soit le type de données.
Par exemple, si une fonction de programmation opère sur deux valeurs différentes, les valeurs peuvent être attachées, même si elles n'ont pas les mêmes types de données. Un exemple consiste à joindre une liste d'entiers avec une valeur à virgule flottante.
Ada, Haskell, Visual Prolog, Scala, Java et C # sont des langages de programmation prenant en charge le polymorphisme paramétrique.