'Sıkı tipli programlama dili' teriminin ne anlama geldiğini açıklayabilir misiniz?

Sıkı tipli bir programlama dili, veri tiplerinin uyumunu derleme ve/veya çalışma sırasında sıkı bir şekilde kontrol eden dildir. Bu dillerde, açıkça belirtilmediği sürece, verilerin bir tiple diğerine otomatik olarak dönüştürülmesi mümkün değildir; bu da hataları önlemeye yardımcı olur.

Örneğin, int türünde bir değişkeniniz varsa, ona açık bir dönüşüm olmadan string türünde bir değer atamazsınız. Bu, kodun güvenliğini ve öngörülebilirliğini artırır.

Swift'te örnek (sıkı tipli dil):

let number: Int = 42
// let text: String = number // Derleme hatası
let text: String = String(number) // Açık dönüşüm

Zayıf tipli dillerden farklı olarak, burada tipler otomatik olarak dönüştürülebilir ve bu bazen beklenmedik sonuçlara yol açabilir.