ML is an abbreviation for Meta Language. It was created by R. Milner and a team, in 1973. It is a strict higher-order functional language, with a formal semantics. It is garbage collected, and the first language to include polymorphic typing that is statically checked. ML is one of the direct inspirations informing Alan Kay and the design of Smalltalk.
To this category, please submit only links on implementations of ML, existing and proposed.
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has many modern features from state-of-the-art computer science and fast native compilers for many operating systems.
English, Français. [Open Source, INRIA]
This category holds links on operating systems (OSs) written in, and based on, the programming language ML and any dialects, and related topics, for which this is the main rationale.