Tip çıkarımı (type inference)

Kısaca: Tip çıkarımında derleyici veri tiplerini bağlamdan kendisi bulur; böylece onları her yere yazmanız gerekmez – statik tip denetiminin güvenliğinden vazgeçmeden.

Biraz daha ayrıntılı: let x = 5’ten int, x + 1.5’ten float çıkar. Derleyici yine de başlamadan önce tüm tipleri denetler. Teknik en çok Haskell, OCaml ve F#‘ta gelişmiştir (Hindley-Milner yöntemi) ve var/auto (Java, C#, C++), val (Kotlin, Scala), let (Rust, Swift), := (Go) içinde bulunur.

Ayrıntılı

let x = 5;                      // i32

Ayrıca bak: Tür dönüştürme, Jenerikler, var anahtar sözcüğü, Tip sistemleri