Table des matières:
- Définition - Que signifie le polymorphisme paramétrique?
- Techopedia explique le polymorphisme paramétrique
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 grand souci pour les erreurs basées sur les types. Il permet au langage d'être plus expressif lors de l'écriture de code générique qui s'applique à différents types de données. Les fonctions écrites en contexte avec le polymorphisme paramétrique fonctionnent sur différents types de données.
Techopedia explique le polymorphisme paramétrique
Le polymorphisme paramétrique est le principe de base des langages et structures de programmation génériques. Il permet la création de fonctions génériques et de types de données qui fonctionnent sur des valeurs, quel que soit le type de données.
Par exemple, si une fonction de programmation fonctionne 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 qui prennent en charge le polymorphisme paramétrique.
