Стирание типов (type erasure) — это концепция в программировании, при которой информация о типах данных удаляется или не сохраняется во время выполнения программы.

В языках с обобщениями (generics), например Swift или Java, компилятор использует стирание типов, чтобы преобразовать обобщённый код в код с конкретными типами без сохранения информации о параметрах типов во время выполнения.

Это означает, что во время выполнения программа не знает конкретных типов, с которыми работал обобщённый код, а работает с базовыми типами или объектами.

Пример в Swift:

func printValue<T>(_ value: T) {
    print(value)
}

// Во время выполнения тип T стирается, и функция работает с любым типом без информации о T

Стирание типов позволяет сохранять совместимость с рантаймом и уменьшать размер кода, но ограничивает возможности проверки типов во время выполнения.

Объясните концепцию стирания типов в программировании.