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: functional programmingimperative programmingmodular programmingprocedural programming

Language types: functional programming languageinterpreted languageprocedural 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