Es existieren mind. zwei Programmiersprachen diesen Namens.
Die Standard Meta Language ist eine Implementation von ML.
Die System Management Language (SML) ist 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.
SML enthält APIs zu CMIP, X/Motif, CMIS und weitere. SML-Programme werden durch Interpreter ausgeführt.
Als Beispiel ein 'Hello World'-Programm:
; Funktionsdefinition (defun HELLO-WORLD () (print "HELLO WORLD")) ; Funktionsaufruf (HELLO-WORLD)