Erklären Sie, was unter dem Begriff 'Typenlöschung' in Programmiersprachen verstanden wird.

Type Erasure ist ein Mechanismus, der in einigen Programmiersprachen mit Generics verwendet wird, zum Beispiel in Java. Während der Kompilierung werden Informationen über die konkreten Typen der Generics-Parameter entfernt (ausgelöscht), und im kompilierten Code verbleibt nur der Basistyp (z.B. Object). Dies ermöglicht die Kompatibilität mit Code ohne Generics, schränkt jedoch ein, z.B. können konkrete Parametertypen zur Laufzeit nicht verwendet werden.

Beispiel: In Java erscheinen List<String> und List<Integer> zur Laufzeit einfach als List, und die JVM unterscheidet ihre Elementtypen nicht.