V programskih jezikih in teoriji tipov je parametrični polimorfizem način, kako narediti jezik bolj izrazit, hkrati pa ohraniti popolno statično varnost tipov. Z uporabo parametričnega polimorfizma lahko funkcijo ali podatkovni tip zapišemo generično, tako da lahko enako obravnavata vrednosti, ne da bi bila odvisna od njihove vrste.
Katero od naslednjega je pravilno razlaga parametrični polimorfizem?
Parametrični polimorfizem je tehnika programskega jezika, ki omogoča generično definicijo funkcij in tipov, brez velike skrbi za napake, ki temeljijo na tipu. Omogoča, da je jezik bolj izrazit pri pisanju splošne kode, ki velja za različne vrste podatkov.
Kaj je parametrični polimorfizem in polimorfizem podtipov?
Polimorfizem podvrste daje enemu izrazu več tipov z uporabo pravila subsumpcije. … Parametrični polimorfizem se nanaša na kodo, ki je napisana brez poznavanja dejanskega tipa argumentov; koda je po vrsti parametrov parametrična. Primeri vključujejo polimorfne funkcije v ML ali generične v Javi 5.
Kaj je parametrični polimorfizem Java?
Parametrični polimorfizem določa, da se znotraj deklaracije razreda lahko ime polja poveže z različnimi tipi, ime metode pa z različnimi vrstami parametrov in vrnitev. Področje in metoda lahkonato prevzame različne tipe v vsakem primerku razreda (objekt).
Kaj je implicitni parametrični polimorfizem?
Kaj je implicitni parametrični polimorfizem? Eksplicitni parametrični polimorfizem: generični parametri T. Iz Pragmatike programskega jezika "V parametričnem polimorfizmu koda vzame tip (ali niz tipov) kot parameter, eksplicitno ali implicitno."
