type inference noun1 •The automatic deduction of the type of an expression in a programming language. formstype inferences