Type inference refers to the automatic deduction of the data type of an expression in a programming language. If some, but not all, type annotations are already present it is referred to as type reconstruction. The opposite operation of type inference is called type erasure.It is a feature present in some strongly statically typed languages. It is often characteristic of, but not limited to, functional programming languages in general.