Type inference

The automatic deduction of types from program context without explicit annotations, using constraint solving or unification algorithms (e.g., Hindley-Milner system) to determine (usually) the most general types.