Programlama dillerinde 'tip silme' terimiyle ne kastedildiğini açıklayın.

Türü silme (type erasure), bazı programlama dillerinde jeneriklerle (generics) kullanılan bir mekanizmadır, örneğin Java'da. Derleme sırasında, jenerik parametrelerin belirli türleri hakkında bilgiler silinir (kaldırılır) ve derlenmiş kodda sadece temel tür (örneğin, Object) kalır. Bu, jeneriksiz kodla uyumluluğu korumayı sağlar, ancak bazı kısıtlamalar getirir, örneğin, çalışma zamanında (runtime) belirli parametre türleri kullanılamaz.

Örnek: Java'da List<String> ve List<Integer> çalışma zamanında sadece List olarak görünür ve JVM, onların eleman türlerini ayırt etmez.