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

Type inference, sometimes called type reconstruction,^: 320 refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics.

Creative Commons Attribution-Share Alike 4.0