Vysvetlite, čo znamená pojem 'vymazanie typov' v programovacích jazykoch.

Zmazanie typov (type erasure) je mechanizmus používaný v niektorých programovacích jazykoch s generikami, napríklad v Jave. Počas kompilácie sa informácie o konkrétnych typoch generických parametrov odstránia (vymažú), a v skompilovanom kóde zostáva iba základný typ (napríklad Object). To umožňuje zachovať kompatibilitu s kódom bez generík, ale kladie určité obmedzenia, napríklad nie je možné používať konkrétne typy parametrov počas behu (runtime).

Príklad: v Jave List<String> a List<Integer> počas behu vyzerajú jednoducho ako List, a JVM nerozlišuje ich typy prvkov.