Sadržaj:
Definicija - Što znači parametrični polimorfizam?
Parametrični polimorfizam je tehnika programskog jezika koja omogućuje generičko definiranje funkcija i vrsta, bez velike brige za pogreške na temelju tipa. Omogućuje da jezik bude izražajniji pri pisanju generičkog koda koji se odnosi na razne vrste podataka. Funkcije napisane u kontekstu parametričnog polimorfizma djeluju na različite vrste podataka.
Tehopedija objašnjava parametrični polimorfizam
Parametrični polimorfizam je temeljni princip generičkih programskih jezika i struktura. Omogućuje stvaranje općih funkcija i vrsta podataka koje djeluju na vrijednosti, bez obzira na vrstu podataka.
Na primjer, ako funkcija programiranja djeluje na dvije različite vrijednosti, vrijednosti se mogu priključiti iako nemaju iste vrste podataka. Primjer je spajanje popisa cijelih brojeva s vrijednošću s pomičnom točkom.
Ada, Haskell, Visual Prolog, Scala, Java i C # su programski jezici koji podržavaju parametrični polimorfizam.
