Вывод типов (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, системы типов