Hello World in Standard ML

Modern descendant of the ML programming language. Similar to OCaml, Standard ML distinguishes itself by having a formal specification.