Automatic Type Deduction
Type inference automatically determines the types of expressions without explicit type annotations, making code shorter while maintaining type safety.
Hindley-Milner Type Inference
x โ f : ฮฑ โ ฮฑ (identity function)
Type Inference in Languages