Skip to content
◈ALB Atlas

ML Superseded

ML
KindProgramming language
Appeared1973
StatusSuperseded
CreatorRobin Milner et al / Edinburgh
FamilyML
Sourcewww.smlnj.org ↗

The theorem-prover's scripting language that gave the world Hindley–Milner type inference — the ancestor of SML, OCaml, F#, and half of Haskell's soul.

Succeeded by Standard ML OCaml
Created by Robin Milner
Descendants Standard ML Miranda OCaml
Influenced C++

Robin Milner's ML (1973) — Meta Language for the LCF theorem prover — combined strong static typing with full type inference (the Hindley–Milner algorithm), algebraic datatypes, and pattern matching.\n\nSML, OCaml, F#, Haskell's type system, Rust's — all descend from Milner's insight that types could be inferred, not declared.

Sources

  1. smlnj.org/
  2. en.wikipedia.org/wiki/ML_(programming_language)