+**Type inference** empowers [Programming Languages](/wiki/programming_language) to automatically discover the data type of expressions. This quiet deduction frees developers from verbose [Type Annotations](/wiki/type_annotation), leading to cleaner, more fluid code.
+## See also
+- [Static Analysis](/wiki/static_analysis)
+- [Type System](/wiki/type_system)
+- [Compiler](/wiki/compiler)
... 1 more lines