quoting the wiki link provided upthread: > ML (Meta Language) is a general-purpose functional programming language. It has roots in Lisp, and has been characte

quoting the wiki link provided upthread: > ML (Meta Language) is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". 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.