×

ML

Programming language
ML is a functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the data types of most expressions without requiring explicit ... Wikipedia
Designed by: Robin Milner, others at the University of Edinburgh
First appeared: 1973; 51 years ago
Paradigm: Multi-paradigm: functional, generic, imperative
Typing discipline: Inferred, static, strong