Terms for subject Programming containing type inference

English	Russian
Damas-Milner type inference algorithm	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)
exploit reflection and type inference	использовать отражение и вывод типов (Alex_Odeychuk)
extend type inference to declarations of local variables with initializers	распространить вывод типов на объявления локальных переменных с инициализаторами (InfoWorld, USA Alex_Odeychuk)
local variable-type inference	вывод типов локальных переменных (Alex_Odeychuk)
number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
static type inference	статический вывод типа (ssn)
through type inference	с использованием вывода типов (Alex_Odeychuk)
type inference	выведение типа (ssn)
type inference	вывод типов (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk)
type inference	вывод типа (ssn)
type inference algorithm	алгоритм вывода типов (Alex_Odeychuk)
type inference and polymorphic functions	выведение типа и полиморфные функции (ssn)
type inference for immutable variables	вывод типов неизменяемых переменных (IBM Alex_Odeychuk)
type inference for integer literals	выведение типов целочисленных литералов (Alex_Odeychuk)
type inference for object literals	вывод типов объектных литералов (Alex_Odeychuk)
type inference for the arguments of a closure	вывод типов аргументов замыкания (IBM Alex_Odeychuk)
type inference for the arguments of a closure	вывод типов аргументов замыкания (Alex_Odeychuk)
type, mode, and determinism inference	вывод типов, режима передачи параметров и детерминизма предикатов (University of Melbourne, Австралия Alex_Odeychuk)
type, mode, and determinism inference	вывод типов, режима передачи параметров и детерминизма (Alex_Odeychuk)