Виведення типів (type inference)

Коротко: За виведення типів компілятор сам визначає типи даних із контексту, тож їх не потрібно писати скрізь, — без відмови від безпеки статичної перевірки типів.

Докладніше: З let x = 5 випливає int, з x + 1.5 — float. Компілятор усе одно перевіряє всі типи до запуску. Техніка найрозвиненіша в Haskell, OCaml та F# (метод Гіндлі — Мілнера) і трапляється в var/auto (Java, C#, C++), val (Kotlin, Scala), let (Rust, Swift), := (Go).

Подробиці

let x = 5;                      // i32

Див. також: приведення типів, узагальнення, ключове слово var, системи типів