A feature of programming languages that automatically deduces the data types of variables and expressions without explicit type annotations. The compiler or interpreter analyzes the code to determine what types are being used.
Combines 'type' from Greek 'typos' meaning impression or mark, with 'inference' from Latin 'inferre' meaning to bring in or deduce. The concept was formalized in the Hindley-Milner type system in the 1970s.
Type inference is like having a really smart friend who can guess what you're thinking - the compiler looks at how you use a variable and says 'ah, this must be a number!' This makes code cleaner while still catching type errors.
Complete word intelligence in one call. Free tier — 50 lookups/day.