Explica ce înseamnă termenul 'ștergere de tipuri' în limbajele de programare.

Eliminarea tipurilor (type erasure) este un mecanism utilizat în unele limbaje de programare cu generice, de exemplu în Java. În timpul compilării, informațiile despre tipurile specifice ale parametrilor generici sunt eliminate (șterse), iar în codul compilat rămâne doar tipul de bază (de exemplu, Object). Acest lucru permite menținerea compatibilității cu codul fără generice, dar impune anumite restricții, de exemplu, nu se pot folosi tipuri specifice de parametri în timpul execuției.

Exemplu: în Java, List<String> și List<Integer> în timpul execuției apar pur și simplu ca List, iar JVM nu face diferența între tipurile lor de elemente.