| | | The ML family | Documentation and user's manual | Table of contents | OCaml programs |
| ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh. |
| ML is often referred to as an impure functional language, because it permits side-effects, and therefore imperative programming, unlike purely functional programming languages such as Haskell. |
| Features of ML include a call-by-value evaluation strategy, first class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling. |
| The ML family includes OCaml (Objective Caml), Standard ML of New Jersey, ... |
| | | The ML family | Documentation and user's manual | Table of contents | OCaml programs |