Standard ML

Standard ML (SML) 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. Wikipedia

Created Year: 1983
Developed by: Robin Milner
Aliases: SML
File extensions: sml

Wikidata: Q597330

Influenced: Concurrent ML • Elm • F* • Nemerle • OCaml • Python • Rust • Scala • Standard ML of New Jersey

Influenced by: ML

Programming paradigms: procedural programming • modular programming • functional programming • imperative programming

Language types: functional programming language • procedural programming language • interpreted language

Standard ML Influence Network

Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.

Hello World in Standard ML

fun hello() = print("Hello World\n");

hello()

Free Standard ML books, articles, documentation

Search on GitHub


Latest data update: 2026-07-10