Magyarázza el, mit értünk a 'típus törlés' kifejezés alatt a programozási nyelvekben.

A típusok törlése (type erasure) egy mechanizmus, amit néhány programozási nyelvben használnak generikusokkal, például Java-ban. A fordítás során a generikus paraméterek konkrét típusaira vonatkozó információk törlődnek (eltávolításra kerülnek), és a fordított kódban csak az alap típus marad (például Object). Ez lehetővé teszi a generikus nélküli kódokkal való kompatibilitás fenntartását, de korlátozásokat is ró, például nem lehet futásidőben (runtime) konkrét paraméter típusokat használni.

Példa: Java-ban a List<String> és List<Integer> futásidőben egyszerűen List-ként jelennek meg, és a JVM nem különbözteti meg azok elem típusait.