Es existieren mindestens zwei Programmiersprachen diesen Namens: Am bekannstesten ist die Standard Meta Language, eine Variante von ML. Außerdem gibt es noch die System Management Language, ein LISP-Dialekt.

Standard Meta Language

TODO

System Management Language

Weniger bekannt ist die System Management Language (SML), ein LISP-Dialekt. Alle Aussagen zu LISP gelten prinzipiell auch für SML. SML ist jedoch erweitert um Sprachstrukturen zur objektorientierten und ereignisorientierten Programmierung.

SML ist also hinsichtlich des Paradigmas:

• funktional;
• objektorientiert;
• ereignisorientiert.

Als Beispiel ein 'Hello World'-Programm:

; Funktionsdefinition
(defun HELLO-WORLD ()
 (print "HELLO WORLD"))

; Funktionsaufruf
(HELLO-WORLD)