Standard ML

Standard ML is a programming language created in 1990.

#148on PLDB

34Years Old

392kRepos

Try now: Riju

Standard ML (SML; Standard Meta Language) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions (LCF) theorem-proving project. Read more on Wikipedia...

Standard ML website
Standard ML Wikipedia page
Standard ML docs
There are at least 392,047 Standard ML repos on GitHub
Standard ML first developed in Bell Laboratories and Princeton University
file extensions for Standard ML include sml, ml, fun and sig
The Google BigQuery Public Dataset GitHub snapshot shows 2k users using Standard ML in 2k repos on GitHub
Standard ML appears in the TIOBE Index
Standard ML Ubuntu package
Pygments supports syntax highlighting for Standard ML
GitHub supports syntax highlighting for Standard ML
Standard ML appears in the Quine Relay project
sml-family.org was registered in 2014
See also: (19 related languages)Alice, DML, HOPE, Elm, F*, OCaml, Rust, Scala, ML, Caml, C, POPLOG, Pop-11, Common Lisp, Prolog, Emacs, Isabelle, Extended ML, F#
Read more about Standard ML on the web: 1.

Example from Riju:

print "Hello, world!\n";

Example from hello-world:

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

hello()

Example from Linguist:

 
signature LAZY_BASE =
   sig 
      type 'a lazy
      exception Undefined
      val force: 'a lazy -> 'a
      val delay: (unit -> 'a) -> 'a lazy
      val undefined: 'a lazy
   end

signature LAZY' =
   sig
      include LAZY_BASE
      val isUndefined: 'a lazy -> bool
      val inject : 'a -> 'a lazy
      val toString: ('a -> string) -> 'a lazy -> string
      val eq: ''a lazy * ''a lazy -> bool
      val eqBy: ('a * 'a -> bool) -> 'a lazy * 'a lazy -> bool
      val compare: ('a * 'a -> order) -> 'a lazy * 'a lazy -> order
      val map: ('a -> 'b) -> 'a lazy -> 'b lazy

      structure Ops: 
                   sig
                      val ! : 'a lazy -> 'a (* force *)
                      val ? : 'a -> 'a lazy (* inject *)
                   end
   end

Example from Wikipedia:

- haar [1, 2, 3, 4, ~4, ~3, ~2, ~1];
   val it = [0,20,4,4,~1,~1,~1,~1]  : int list

Feature	Supported	Token
Print() Debugging	✓	print
Type Inference	✓
Semantic Indentation	X
Line Comments	X

Standard ML - Programming language

Language features