type inference (n)~ 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.