Known for its polymorphic Hindler-Milner type system, Ml is a functional general purpose programming language.