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 MLElmF*NemerleOCamlPythonRustScalaStandard ML of New Jersey

Influenced by: ML

Programming paradigms: imperative programmingfunctional programmingmodular programmingprocedural programming

Language types: interpreted languageprocedural programming languagefunctional programming 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: 2024-11-13