ML

Meta Language, created by Robin Milner at Edinburgh in 1973. Introduced Hindley-Milner type inference, pattern matching, and algebraic data types. Parent of SML, OCaml, F#, and spiritual ancestor of Haskell and Rust's type systems.