ML stands for “Meta Language” a name that indicates its main focus – programming language research. That’s possible thanks to its use of the Hindley-Milner type system, which automatically assigns types without requiring explicit annotations, all while ensuring type safety.

ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors.