(parametric polymorphism)
obslugiwanie róznych typów przez te sama implementacje. W p.p. kazdemu egzemplarzowi zmiennej przypisuje sie staly typ monomorficzny, zezwalajac jednak na rózne przypisania typów w poszczególnych egzemplarzach. Na przyklad w implementacji listy powiazanej mozna sparametryzowac typy elementów listy. Konkretna lista bedzie obslugiwac jeden konkretny typ, a jednoczesnie jej implementacja jest ogólna i realizowana tylko jeden raz. P.p. jest podobny do szablonów jezyka C++, nie powoduje jednak eksplozji kodu. Zob. tez polimorfizm ograniczony.
- polimorfizm podtypowy, (konstruowanie podtypów,...
- polimorfizm ograniczony, ( bounded polymorphism...