Tips zu Moscow ML

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Neuigkeiten
Hier ein paar Tips zum Umgang mit Moscow ML. Weiterführende Information gibt es im Manual, z.B. online unter:

Installation unter Windows

Damit Moscow ML unter Windows/Dos vernünftig benutzbar ist, solltet ihr in der Datei AUTOEXEC.BAT (im Wurzelverzeichnis von Laufwerk C:) folgende Zeilen anfügen:
set MOSMLLIB=c:\mosml\lib
set PATH=%PATH%;c:\mosml\bin
(unter der Annahme, dass Moscow ML in c:\mosml installiert ist). Danach erst einmal neu Booten.

Der Interpreter

Der Moscow-ML-Interpreter wird gestartet mit:
% mosml
Danach befindet man sich in der interaktiven Oberfläche und kann dort ML-Deklarationen oder -Ausdrücke eingeben. Mit Ctrl-C kann eine laufende Auswertung unterbrochen werden, mit Ctrl-D wird der Interpreter verlassen. Mithilfe des Prozeduraufrufs
- use "X.sml";
können Deklarationen und Ausdrücke aus einer Textdatei X.sml eingelesen werden.

Mit der Prozedur
- load "X";
wird die Struktur X sowie alle von dieser Struktur benötigten Strukturen geladen. Die Strukturen müssen in übersetzter Form (siehe unten) vorliegen, d.h. die Dateien X.ui und X.uo (sowie gegebenenfalls die entsprechenden Dateien weiterer dazu notwendiger Strukturen) müssen vorliegen. Man beachte, dass zweimaliges Laden derselben Struktur ignoriert wird, nach einer Neuübersetzung einer Struktur muss der Interpreter also neu gestartet werden.

Weitere Tips siehe im Online-Manual unter:

Der Übersetzer

Signaturen und Strukturimplementierungen werden übersetzt mit den Kommandos
% mosmlc -c X.sig
% mosmlc -c X.sml
Dabei werden die Dateien X.ui (für die übersetzte Signatur) bzw. X.uo (für die Implementierung) erzeugt. Die Signatur muss immer vor der Implementierung übersetzt werden. Ausserdem müssen die übersetzten Signaturen aller verwendeten weiteren Strukturen zur Verfügung stehen.

Die übersetzten Dateien können nun in den Interpreter geladen werden (siehe oben), und stehen zur Übersetzung weiterer Strukturen bereit.

Mit dem Aufruf
% mosmlc -c X.sml -o yyy
bzw. unter Dos/Windows:
% mosmlc -c X.sml -o yyy.exe
wird aus der Struktur X.sml ein direkt ausführbares Programm yyy erzeugt, welches mit
% yyy arg1 arg2 arg3 ...
gestartet werden kann, wobei beliebig viele Kommandozeilenargumente argn übergeben werden können.

Siehe auch: