Programming Language
Standard ML Appeared 1983
Standard ML is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers.
Trends languish rank #148 languish — 68 periods, 2008Q3 to 2025Q2 2008Q3 2025Q2
Influence graph Influence graph for Standard ML: 1 influencing languages, 0 family links Pascal influenced Standard ML Pascal Standard ML Solid arrows: influence, oldest at the top. Dashed: compiles to / is a dialect of / implements. Descendants graph Descendants graph for Standard ML: 8 languages it influenced, 19 influence links Haskell influenced F# OCaml influenced F# Python influenced F# Scala influenced F# Standard ML influenced F# Haskell influenced Futhark Standard ML influenced Futhark Standard ML influenced Haskell Standard ML influenced MLton Standard ML influenced OCaml Haskell influenced Python Standard ML influenced Python Haskell influenced Rust OCaml influenced Rust Standard ML influenced Rust F# influenced Scala Haskell influenced Scala OCaml influenced Scala Standard ML influenced Scala Standard ML Haskell OCaml Python Scala F# Futhark MLton Rust Solid arrows: influence, oldest at the top. Showing the 8 languages Standard ML directly influenced.