Terms containing type inference

Subject	English	Russian
progr.	Damas-Milner type inference algorithm	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)
progr.	exploit reflection and type inference	использовать отражение и вывод типов (Alex_Odeychuk)
progr.	extend type inference to declarations of local variables with initializers	распространить вывод типов на объявления локальных переменных с инициализаторами (InfoWorld, USA Alex_Odeychuk)
comp., MS	local type inference	вывод локального типа (A process in which the compiler infers the type of a local variable that is declared with the var keyword in C or without an As clause in Visual Basic. The compiler infers the type of the variable from the type of the initializer expression)
progr.	local variable-type inference	вывод типов локальных переменных (Alex_Odeychuk)
math.	mamdani-type inference	логический вывод типа Мамдани
progr.	static type inference	статический вывод типа (ssn)
progr.	through type inference	с использованием вывода типов (Alex_Odeychuk)
progr.	type inference	выведение типа (ssn)
progr.	type inference	вывод типов (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk)
progr.	type inference	вывод типа (ssn)
comp., MS	type inference	определение типа (A process in which the compiler determines the data type of a local variable that has been declared without an explicit data type declaration. The type is inferred from the initial value provided for the variable)
progr.	type inference algorithm	алгоритм вывода типов (Alex_Odeychuk)
progr.	type inference and polymorphic functions	выведение типа и полиморфные функции (ssn)
progr.	type inference for immutable variables	вывод типов неизменяемых переменных (IBM Alex_Odeychuk)
progr.	type inference for integer literals	выведение типов целочисленных литералов (Alex_Odeychuk)
progr.	type inference for object literals	вывод типов объектных литералов (Alex_Odeychuk)
progr.	type inference for the arguments of a closure	вывод типов аргументов замыкания (IBM Alex_Odeychuk)
progr.	type inference for the arguments of a closure	вывод типов аргументов замыкания (Alex_Odeychuk)