Hindley-Milner
← Back to Type Inference
A type inference algorithm that can fully deduce the types of all expressions without any type annotations. Hindley-Milner provides principal (most general) types and forms the theoretical basis for type inference in ML-family languages.
Key Properties
Related
- Languages: Haskell, OCaml, Rust (partially)