Spisu treści:
Definicja - Co oznacza polimorfizm parametryczny?
Polimorfizm parametryczny to technika języka programowania, która umożliwia ogólną definicję funkcji i typów, bez dużego zainteresowania błędami opartymi na typach. Pozwala to na bardziej wyrazisty język podczas pisania ogólnego kodu, który dotyczy różnych typów danych. Funkcje napisane w kontekście polimorfizmu parametrycznego działają na różnych typach danych.
Techopedia wyjaśnia polimorfizm parametryczny
Polimorfizm parametryczny jest podstawową zasadą stojącą za ogólnymi językami i strukturami programowania. Umożliwia tworzenie ogólnych funkcji i typów danych, które działają na wartościach, niezależnie od typu danych.
Na przykład, jeśli funkcja programowania działa na dwóch różnych wartościach, wartości mogą zostać dołączone, nawet jeśli nie mają tych samych typów danych. Przykładem jest dołączenie listy liczb całkowitych o wartości zmiennoprzecinkowej.
Ada, Haskell, Visual Prolog, Scala, Java i C # to języki programowania obsługujące polimorfizm parametryczny.
