Vysvětlete, co znamená pojem 'vymazání typů' v programovacích jazycích.

Odepisování typů (type erasure) je mechanismus používaný v některých programovacích jazycích s generiky, například v Javě. Při kompilaci jsou informace o konkrétních typech generických parametrů odstraněny (smazány), a v zkompilovaném kódu zůstává pouze základní typ (například Object). To umožňuje zachovat kompatibilitu s kódem bez generik, ale klade určitá omezení, například nelze používat konkrétní typy parametrů za běhu (runtime).

Příklad: v Javě List<String> a List<Integer> při běhu vypadají jednoduše jako List, a JVM nerozlišuje jejich typy prvků.