ML - Programming language

ML, aka Meta Language, is a programming language created in 1973 by Robin Milner.

#124on PLDB

51Years Old

ML ('Meta Language') is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". 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. Read more on Wikipedia...

ML Wikipedia page
PLDB has 2 documentation sites for ML: www.cs.cmu.edu, www.cs.nmsu.edu
ML first developed in University of Edinburgh
There are 427 Project Euler users using ML
Explore ML snippets on Rosetta Code
ML on HOPL
ML appears in the TIOBE Index
Frequently Asked Questions for ML
Indeed.com has 6 matches for "ml engineer".
See also: (24 related languages)Standard ML, Caml, ISWIM, Clojure, Coq, Cyclone, Elm, F#, F*, Haskell, Idris, Miranda, Nemerle, OCaml, Opa, Erlang, Rust, Scala, Lisp, ATS, Alice, DML, Lazy ML, Clean

Example from Wikipedia:

structure Rational : ARITH =
struct
        datatype t = Rat of int * int;
        val zero = Rat(0,1);
        fun succ(Rat(a,b)) = Rat( a+b , b  );
        fun sum (Rat(a,b),  Rat(c,d)) = Rat(a*d+ c*b  , b*d) : t ;
end

Feature	Supported	Token
Assignment	✓	:=
Type Inference	✓
Garbage Collection	✓
Line Comments	X

ML

ML - Programming language

Language features