Hindley-Milner Type Inference

A classical algorithm in type theory, independently discovered by Hindley and Milner, that automatically infers the most general type of an expression without requiring explicit type annotations from the programmer. It forms the core type system foundation of the ML family of languages.