Typ polimorficzny
Z Wikipedii
Typ polimorficzny to typ złożony w którym występuje jakaś zmienna typowa. Typ taki to w rzeczywistości nieskończona (przeliczalna) alternatywa typów. Typy takie są ważne np. w operacjach na pojemnikach - np. 'a list w Ocamlu, czyli lista "czegośtam", może być argumentem dla funkcji która zwraca pierwszą wartość tej listy - funkcja taka jest identyczna niezależnie od dokładnego typu argumentu, tak więc ma typ polimorficzny.
W C++ typy polimorficzne można uzyskać za pomocą mechanizmu szablonów - z mechanizmu tego korzysta m.in. STL.
