Type Inference
Back: Type Systems
The ability of a type system to automatically deduce types without explicit annotations from the programmer. Ranges from full inference (Hindley-Milner) to local inference with var/auto keywords, reducing boilerplate while maintaining type safety.