The compiler is often able to infer the type of a variable or the type signature of a function, without explicit type annotations having been given.
Так как этот процесс систематически производится во время трансляции программы, транслятор часто может вывести тип переменной или функции без явного указания типов этих объектов.