Inhaltsverzeichnis:
- Definition - Was bedeutet parametrischer Polymorphismus?
- Techopedia erklärt den parametrischen Polymorphismus
Definition - Was bedeutet parametrischer Polymorphismus?
Der parametrische Polymorphismus ist eine Programmiersprachentechnik, die die generische Definition von Funktionen und Typen ohne große Bedenken hinsichtlich typbasierter Fehler ermöglicht. Es ermöglicht eine ausdrucksstärkere Sprache beim Schreiben von generischem Code, der für verschiedene Datentypen gilt. Funktionen, die im Zusammenhang mit dem parametrischen Polymorphismus geschrieben wurden, arbeiten mit verschiedenen Datentypen.
Techopedia erklärt den parametrischen Polymorphismus
Parametrischer Polymorphismus ist das Kernprinzip hinter generischen Programmiersprachen und -strukturen. Es ermöglicht die Erstellung generischer Funktionen und Datentypen, die unabhängig vom Datentyp mit Werten arbeiten.
Wenn beispielsweise eine Programmierfunktion mit zwei verschiedenen Werten arbeitet, können die Werte angehängt werden, obwohl sie nicht dieselben Datentypen haben. Ein Beispiel ist das Verknüpfen einer Liste von Ganzzahlen mit einem Gleitkommawert.
Ada, Haskell, Visual Prolog, Scala, Java und C # sind Programmiersprachen, die parametrischen Polymorphismus unterstützen.
