Tür sistemi
Tür sistemi (İngilizce: type system), bir programlama dilindeki ifadelerin, değişkenlerin ve fonksiyonların hangi türde değerler alabileceğini tanımlayan kurallar bütünüdür. Bu sistem, programların doğruluğunu ve güvenliğini artırmak için tasarlanmıştır. Statik tür denetimi: Derleme zamanında yapılır (Örn: Java, Rust) int sayi = "metin"; // Java derleme hatası Dinamik tür denetimi: Çalışma zamanında yapılır (Örn: Python, JavaScript) sayi = "metin" # Hata vermez (runtime'da kontrol) Derleyicinin türü otomatik belirlemesi yani derleyicinin, programcı tür belirtmese bile değişken veya fonksiyon türlerini otomatik anlamasıdır.