Skaidrojiet, ko nozīmē termins ' tipu dzēšana' programmēšanas valodās.

Tipu dzēšana (type erasure) ir mehānisms, ko izmanto dažās programmēšanas valodās ar ģenerikiem, piemēram, Java. Kompilācijas laikā informācija par konkrētiem ģeneriku parametru tipiem tiek dzēsta (izdzēsta), un kompilētajā kodā paliek tikai pamattipa (piemēram, Object) versija. Tas ļauj saglabāt saderību ar kodu bez ģenerikiem, bet uzliek ierobežojumus, piemēram, nav iespējams izmantot konkrētus parametru tipus izpildes laikā (runtime).

Piemērs: Java, List<String> un List<Integer> izpildes laikā izskatās kā vienkārši List, un JVM neatšķir to elementu tipus.