Obsah:
Definice - Co znamená parametrický polymorfismus?
Parametrický polymorfismus je technika programovacího jazyka, která umožňuje obecnou definici funkcí a typů, bez velkého znepokojení nad chybami založenými na typu. Umožňuje výraznější jazyk při psaní generického kódu, který se vztahuje na různé typy dat. Funkce psané v souvislosti s parametrickým polymorfismem pracují na různých typech dat.
Techopedia vysvětluje parametrický polymorfismus
Parametrický polymorfismus je základním principem obecných programovacích jazyků a struktur. Umožňuje vytváření obecných funkcí a datových typů, které pracují na hodnotách, bez ohledu na typ dat.
Pokud například programovací funkce pracuje na dvou různých hodnotách, mohou být připojeny hodnoty, i když nemají stejné datové typy. Příkladem je spojení seznamu celých čísel s hodnotou s pohyblivou řádovou čárkou.
Ada, Haskell, Visual Prolog, Scala, Java a C # jsou programovací jazyky, které podporují parametrický polymorfismus.
