V programovacích jazycích a teorii typů je parametrický polymorfismus způsobem, jak učinit jazyk výraznějším, a přitom zachovat plnou statickou typovou bezpečnost. Pomocí parametrického polymorfismu lze funkci nebo datový typ zapsat genericky, takže mohou zpracovávat hodnoty identicky bez závislosti na jejich typu.
Která z následujících možností je správná a vysvětluje parametrický polymorfismus?
Parametrický polymorfismus je technika programovacího jazyka, která umožňuje obecnou definici funkcí a typů bez velkého zájmu o chyby založené na typu. Umožňuje jazyku, aby byl při psaní obecného kódu, který se vztahuje na různé typy dat, výraznější.
Co je parametrický polymorfismus a polymorfismus podtypů?
Polymorfismus podtypů dává jedinému termínu mnoho typů pomocí pravidla subsumpce. … Parametrický polymorfismus odkazuje na kód, který je napsán bez znalosti skutečného typu argumentů; kód je parametrický v typu parametrů. Příklady zahrnují polymorfní funkce v ML nebo generika v Javě 5.
Co je parametrický polymorfismus Java?
Parametrický polymorfismus stanoví, že v rámci deklarace třídy se název pole může asociovat s různými typy a název metody se může asociovat s různými parametry a návratovými typy. Pole a metoda můžepak převezměte různé typy v každé instanci třídy (objektu).
Co je implicitní parametrický polymorfismus?
Co je implicitní parametrický polymorfismus? Explicitní parametrický polymorfismus: generické parametry T. Z Programming Language Pragmatics "V parametrickém polymorfismu kód bere typ (nebo sadu typů) jako parametr, buď explicitně, nebo implicitně."
