Programmierung 1: Software

Standard ML Programmiersysteme

Wir empfehlen Ihnen die folgenden Standard ML Programmiersyteme:

Das Programmiersystem Alice wird hier am Lehrstuhl entwickelt. Es implementiert eine Erweiterung von SML und bietet eine grafische Entwicklungsoberfläche, die auch für Anfänger sehr einfach zu benutzen ist. Das System ist kostenlos für Windows, Unix und Mac OS X verfügbar.
Eine Alternative ist das System Moscow ML. Auch Moscow ML ist kostenlos für Windows und Unix verfügbar. Den Moscow ML Interpreter sollten Sie innerhalb des GNU Emacs Editors verwenden. Wenn Sie mit Windows 95/98/ME/NT/2000/XP arbeiten, können Sie Moscow ML und GNU Emacs auf Ihrem Rechner mithilfe eines von uns vorbereiteten Pakets installieren. GNU Emacs ist dann bereits mit Moscow ML gekoppelt und Sie können sofort loslegen.

Emacs SML-Mode für die Rechner im CIP Pool. Nach dem Laden im Homeverzeichnis entpacken (tar -xvf sml.tar). Achtung: eine eventuell schon vorhandene Konfigurationsdatei für Emacs wird dadurch überschrieben.
GNU Emacs Manual
GNU Emacs Reference Card ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
Doku des SML-Modes
Doku des SML-Modes ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
Kurzübersicht zu Unix und Emacs, 1 Seite ( Postscript zum Ausdrucken, PDF zum Ausdrucken)

Codex Editor
Die Übungsblätter und Unterlagen zur Vorlesung stehen als PDF-Dateien im Web. Um sie zu lesen, können Sie den Acrobat Reader verwenden.
Einige Dokumente im Web sind nur im Postscript-Format verfügbar. Dieses können Sie unter Windows mit GSview lesen.
Vielleicht finden Sie Cygwin hilfreich (eine Unix-artige Shell-Umgebung für Windows).

Last Change: Thu 01 Jan 1970 00:00:00 UTC