Definition
Type Inference
Type inference is the process of deriving a typing judgement for an expression without requiring all types to be written explicitly.
Formally, given a type environment
and an expression , type inference tries to compute a type such that In systems with principal types, type inference aims to compute the most general such
.