Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Вывод типов характерен для функциональных языков программирования, хотя со временем он был частично реализован и в объектно-ориентированных языках (C#, D, Visual Basic .NET, C++11, Vala, Go, Java), где ограничивается возможностью опустить тип идентификатора в определении с инициализацией (см. синтаксический сахар). Например:
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Со временем я обязательно пойму, как устроен ваш мир.
Вопрос: форма — это материальная сущность в физическом мире (человек, животное, растение, предмет, вещество или конкретное место)?
Стремясь дойти до самой сути, он не любил неопределённости, вялых выводов типа «играть можно», «заслуживает внимания» или «прямого опровержения вроде не видно», и всегда старался достигнуть конкретных результатов.
– Так ты, я смотрю, кошелёк и не собираешься возвращать правообладателю? – глядя на пустой кошелёк в руках незнакомца, сделал вывод тип за рулём.