Type Inference
Noun · Development
Definitions
The ability of a compiler or type checker to automatically deduce the type of an expression without explicit annotations. Lets you write concise code while retaining full type safety.
In plain English: When the compiler figures out what type a variable is by looking at how you use it, so you don't have to write the type yourself.
Example: "Rust's type inference means you rarely need to annotate local variables — the compiler figures it out."