Obsah:
Definícia - Čo znamená parametrický polymorfizmus?
Parametrický polymorfizmus je technika programovacieho jazyka, ktorá umožňuje generickú definíciu funkcií a typov bez veľkého záujmu o chyby založené na type. Umožňuje výraznejší jazyk pri písaní generického kódu, ktorý sa vzťahuje na rôzne typy údajov. Funkcie napísané v súvislosti s parametrickým polymorfizmom pracujú na rôznych typoch údajov.
Techopedia vysvetľuje parametrický polymorfizmus
Parametrický polymorfizmus je základným princípom generických programovacích jazykov a štruktúr. Umožňuje vytváranie všeobecných funkcií a typov údajov, ktoré pracujú na hodnotách bez ohľadu na typ údajov.
Napríklad, ak programovacia funkcia pracuje na dvoch rôznych hodnotách, hodnoty sa môžu pripájať, aj keď nemajú rovnaké typy údajov. Príkladom je spojenie zoznamu celých čísel s hodnotou s pohyblivou rádovou čiarkou.
Ada, Haskell, Visual Prolog, Scala, Java a C # sú programovacie jazyky, ktoré podporujú parametrický polymorfizmus.
