Wyjaśnij, co oznacza termin 'kasowanie typów' w językach programowania.

Usuwanie typów (type erasure) to mechanizm stosowany w niektórych językach programowania z generykami, na przykład w Javie. Podczas kompilacji informacje o konkretnych typach parametrów generycznych są usuwane (wymazywane), a w skompilowanym kodzie pozostaje tylko typ bazowy (np. Object). Pozwala to na zachowanie kompatybilności z kodem bez generyków, ale nakłada pewne ograniczenia, na przykład nie można używać konkretnych typów parametrów w czasie wykonywania.

Przykład: w Javie List<String> i List<Integer> podczas wykonywania wyglądają jak po prostu List, i JVM nie rozróżnia ich typów elementów.