Leg uit wat wordt bedoeld met de term 'typeverwijdering' in programmeertalen.

Type erasure is een mechanisme dat in sommige programmeertalen met generics wordt gebruikt, bijvoorbeeld in Java. Tijdens de compilatie worden de informatie over de specifieke types van de generieke parameters verwijderd (uitgewist), en in de gecompileerde code blijft alleen het basistype (bijvoorbeeld Object) over. Dit maakt het mogelijk om compatibiliteit met code zonder generics te behouden, maar legt beperkingen op, bijvoorbeeld dat je geen specifieke parameter types tijdens runtime kunt gebruiken.

Voorbeeld: in Java lijken List<String> en List<Integer> tijdens runtime gewoon op List, en onderscheidt de JVM hun elementtypes niet.