Meta Language

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.