Type Inference

Type inference empowers Programming Languages to automatically discover the data type of expressions. This quiet deduction frees developers from verbose Type Annotations, leading to cleaner, more fluid code.

See also

• Static Analysis
• Type System
• Compiler
• Type Checking