Return to Haskell Type inference, Kotlin glossary, Kotlin

“The ability of the compiler to recognize a variable’s type based on the value assigned to it.” (KtPgBNrd 2021)

Snippet from Wikipedia: Type inference

In type theory, type inference (sometimes called type reconstruction) is the automatic detection of the type of an expression. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics.

Typeability is sometimes used quasi-synonymously with type inference, however some authors make a distinction between typeability as a decision problem (that has yes/no answer) and type inference as the computation of an actual type for a term.

Creative Commons Attribution-Share Alike 4.0