Tip sistemleri ve tip çıkarımı

Kısaca: Bir tip sistemi, değerlerin yalnızca izin verilen biçimlerde kullanılmasını denetler; örneğin bir sayının metne bölünmemesi. Tip çıkarımı derleyicinin tipleri kendisinin bulmasını sağlar.

Biraz daha ayrıntılı: Statik tipler yürütmeden önce denetlenir (Java, Rust, TypeScript), dinamik olanlar yalnızca çalışma zamanında (Python, JavaScript). Güçlü tip sistemleri birçok hatayı erken bulur. Jenerikler, toplam tipler ve özellikler (traits) onları anlamlı kılar.

Ayrıntılı

• Statik ve dinamik; güçlü ve zayıf: iki…

Ayrıca bak: Sözcük çözümleyici, ayrıştırıcı ve sözdizimi ağacı, Ara gösterim ve derleyici eniyilemesi