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)
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)