Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется и в объектно-ориентированных ЯП (C#, D, Visual Basic . High Quality Content by WIKIPEDIA articles! Вывод типа (Type inference) — в программировании возможность компилятора самому логически вывести тип значения из выражения. Например:
2012. NET, C++0x, Vala).