Paaiškinkite, ką reiškia terminas 'tipų ištrynimas' programavimo kalbose.

Tipų ištrynimas (type erasure) yra mechanizmas, naudojamas kai kuriose programavimo kalbose su generikais, pavyzdžiui, Java. Kompiliacijos metu informacija apie konkrečius generikų parametrų tipus yra ištrinama (pašalinama), ir kompiliuotoje kodo dalyje lieka tik pagrindinis tipas (pavyzdžiui, Object). Tai leidžia išlaikyti suderinamumą su kodu be generikų, tačiau taiko tam tikras apribojimus, pavyzdžiui, konkrečių parametrų tipų naudojimas vykdymo metu (runtime) nėra įmanomas.

Pavyzdys: Java, List<String> ir List<Integer> vykdymo metu atrodo kaip paprastas List, ir JVM nesugeba atskirti jų elementų tipų.