Standard ML
aus Wikipedia, der freien Enzyklopädie
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.
Inhaltsverzeichnis |
[Bearbeiten] Programmbeispiele
[Bearbeiten] Rekursive Berechnung der Fakultät
Die n-te Fakultät einer natürlichen Zahl kann man in SML mittels folgendes Programmes berechnen:
fun fak (n) = if n < 1 then 1 else n * fak (n-1)
[Bearbeiten] Rekursive Berechnung der Fibonacci Zahlen
Die n-te Fibonacci-Zahl kann man in SML mittels des folgenden Programms berechnen:
fun fib (n) = if n < 2 then 1 else fib(n-1) + fib(n-2)
[Bearbeiten] Weblinks
Es existieren verschiedene Compiler für SML, die entweder Bytecode oder Maschinencode generieren. Die Standardimplementierung ist SML/NJ. Sml2c ist ein besonderer Compiler, der SML in C Code übersetzt.
[Bearbeiten] Literatur
- Robin Milner, Mads Tofte, Robert Harper, D. MacQueen: The Definition of Standard ML (Revised). MIT Press, 1997, ISBN 0262631814 (offizielle Sprachdefinition)