Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Вывод типов характерен для функциональных языков программирования, хотя со временем эта возможность частично появилась и в объектно-ориентированных языках (C#, D, Visual Basic .NET, C++11, Vala, Go), где она ограничивается возможностью опустить тип идентификатора в определении с инициализацией (см. синтаксический сахар). Например:
Вывод типов характерен для функциональных языков программирования, хотя со временем эта возможность частично появилась и в объектно-ориентированных языках (C#, D, Visual Basic .NET, C++11, Vala, Go), где она ограничивается возможностью опустить тип идентификатора в определении с инициализацией (см. синтаксический сахар). Например:
Источник: Wipedia.org