Standard ML
Aus LexiDict
Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO).
ML-Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die Sprache wurde von 1984 bis 1988 entwickelt und schließlich 1990 von Robin Milner, Mads Tofte und Robert Harper formalisiert. 1997 wurde mit SML'97 eine Revision der Sprache veröffentlicht, die neben einigen Vereinfachungen auch eine SML-Basisbibliothek enthält.
Wichtige Merkmale von SML sind unter Anderem die statische Typisierung, Polymorphie auf Funktions- und Datentypsebene, automatische Speicherbereinigung sowie strenge Auswertung und Ausnahmebehandlung. Außerdem unterstützt SML Funktionen höherer Ordnung, Module und Funktoren.
Eine Besonderheit von SML ist, dass die Sprache vollständig formal definiert ist. Dadurch können wichtige Eigenschaften der Sprache mathematisch bewiesen werden.
Weblinks
Es existieren verschiedene
Links auf diese Seite
Das Wort Funktor wurde erstmals von dem Philosophen Rudolf Carnap (1934) verwendet. Heute wird es benutzt
Die System Management Language (abgekürzt SML, Sml oder ISM/SML) ist ein Dialekt der Programmiersprache LISP, der seit den 1990er Jahren vor allem auf Großrechnern der Firma Bull Computer eingesetzt wird. Er ist als Skriptsprache enthalten in der Netzwerkmanagement-Plattform ISM/OpenMaster der Bull-Tochter Evidian, die auch selbst in ISM/SML geschrieben ist. Als 4GL-Sprache eignet sich ISM/SML zum Rapid Prototyping.<ref name="iosif">Iosif G. Ghetie: ''Networks and Systems Management: Platforms Analysis and Evaluation''. Berlin: Springer, 1997, S. 373.</ref> ISM steht für “Integrated System Management” und bezieht sich auf den Anspruch, Unix, das Bull-eigene Betriebssystem GCOS und IBM-Betriebssysteme zu integrieren.<ref name="computerwoche">[http://www.computerwoche.de/heftarchiv/1992/17/1133822/ Distributed Computing Model als Umsetzung von DCE: Bulls Konzept zur Öffnung von GCOS- und IBM-Systemen steht] in Computerwoche 17/1992</ref> Man nennt diese Sprache auch ISM/SML, was die Unterscheidung von Standard ML (einer weiteren, aber nicht verwandten funktionalen Programmiersprache) erleichtert.
Dieser Artikel basiert auf dem Artikel
Standard ML
aus der freien Enzyklopädie
Wikipedia
und steht unter der
GNU-Lizenz für freie Dokumentation.
In der Wikipedia ist eine Liste der
Autoren
verfügbar.
