Hier könnt ihr euch verschiedene ML-Compiler
herunterladen. Um eine Datei zu holen klickt ihr bei gedrückter
Shift-Taste auf den entsprechenden Link.
Einige Dateien sind zu gross fuer eine einzelne Diskette. Diese
gibt's hier dann teilweise auch noch mal in diskettengerecht zerhackter
Form serviert. Derartig gesplittete Dateien können unter Windows/Dos
mit folgendem Befehl wieder zusammengesetzt werden:
copy /b part1 + part2 +...+ partn dest
Dabei sind part1 bis partn die Dateinamen der
einzelnen Teile, die sich im aktuellen Verzeichnis befinden muessen, und
dest der Name der zu erzeugenden Datei.
Moscow ML
Moscow ML ist eine hübsche kleine Implementierung von SML,
die gepackt auf eine Diskette passt:
Auf der Homepage gibt es auch Versionen für Mac, OS/2, Win 3.1,
sowie MS Dose:
Moscow ML unterstützt aber leider nicht den vollen
SML-Sprachumfang: es kennt keine Funktoren und auch
Strukturen sind nur eingeschränkt verfügbar! Für den
grössten Teil der Vorlesung reicht das aber völlig aus, den
Rest könnt ihr entweder im CIP-Pool nachvollziehen, oder ihr
müsst euch auch zuhause SML/NJ installieren.
SML/NJ
New Jerseys SML-Implementierung ist sehr umfangreich,
wenn auch nicht exorbitant komfortabel. Ein gehöriger
Speicherhunger ist ebenfalls unübersehbar: 32 bis 48Mb Ram sollte man
schon haben.
Wer unter anderen Unixen arbeitet, der liest mal das
README der Distribution und saugt sich
dann die Dateien, die er benötigt.
Weitere Informationen auch auf der SML/NJ-Homepage:
Dort gibt es auch Erläuterungen zu den
SML/NJ-Fehlermeldungen.