Kazalo:
Opredelitev - Kaj pomeni parametrični polimorfizem?
Parametrični polimorfizem je tehnika programskega jezika, ki omogoča generično opredelitev funkcij in vrst, brez velike skrbi za napake na podlagi vrste. Jeziku omogoča, da je med pisanjem generične kode, ki velja za različne vrste podatkov, bolj izrazen. Funkcije, napisane v kontekstu s parametričnim polimorfizmom, delujejo na različne vrste podatkov.
Tehopedija razlaga parametrični polimorfizem
Parametrični polimorfizem je temeljno načelo splošnih programskih jezikov in struktur. Omogoča ustvarjanje splošnih funkcij in vrst podatkov, ki delujejo na vrednostih, ne glede na vrsto podatkov.
Če na primer programska funkcija deluje na dve različni vrednosti, se vrednosti lahko pripnejo, čeprav nimajo enakih podatkovnih vrst. Primer je združitev seznama celih števil z vrednostjo plavajoče točke.
Ada, Haskell, Visual Prolog, Scala, Java in C # so programski jeziki, ki podpirajo parametrični polimorfizem.
