Typ, którego definicja ma symbole zastępcze dla rzeczywistych typów, które użytkownik określa podczas tworzenia i używania wystąpień tego typu. Szablony C++ i wspólnego języka runtime leków generycznych są przykłady typów sparametryzowanych.