Стирание типов (type erasure) — это механизм, используемый в некоторых языках программирования с обобщениями (generics), например, в Java. При компиляции информация о конкретных типах параметров обобщений удаляется (стирается), и в скомпилированном коде остаётся только базовый тип (например, Object). Это позволяет сохранять совместимость с кодом без обобщений, но накладывает ограничения, например, нельзя использовать конкретные типы параметров во время выполнения (runtime).

Пример: в Java List<String> и List<Integer> во время выполнения выглядят как просто List, и JVM не различает их типы элементов.

Объясните, что подразумевается под термином 'стирание типов' в языках программирования.