Вывод типов

Вы́вод ти́пов — весьма важная часть многих языков программирования, в особенности функциональных.

Означает этот термин следующее: если в какой-то момент тип переменной в составе выражения не задан, он просчитывается (выводится) автоматически.

Например, если мы складываем целое число с чем-то неизвестным и хотим получить целое число, ясно, что это неизвестное либо также целое число, либо легко приводится к виду целого числа.

Естественно, существуют ситуации, когда для автоматического приведения типов данных недостаточно, тогда применяется явное приведение типа, то есть программист задаёт к какому типу следует привести выражение.