ML

ML is a family of general-purpose, strong-typed, non-pure functional languages. The most known derivatives of ML are: Standard ML and OCaml.

Features:

• Supporting both of functional and imperative coding styles
• Object oriented programming (OCaml)
• Garbage collection
• Polymorphic types
• Pattern matching
• Highly expressive syntax

Standard ML implementations:

• MLton
• Moscow ML
• Poly/ML
• SML/NJ - Standard ML of New Jersey

OCaml:

• OCaml home - Distributions and documentation