Hinweise zu SML

Literatur zu SML

Robert Harper: Introduction to Standard ML. Technical report, LFCS and Carnegie Mellon University, 1986-93. (HTML, Postscript)
L. C. Paulson: ML for the Working Programmer. Cambridge University Press, Cambridge, England, 1996.
Matthias Felleisen and Daniel P. Friedman: The Little MLer. MIT Press, ISBN 0-262-56114-X, December 1997, $25.
Homepage von SML/NJ

Starten von SML

In der Vorlesung wird die SML-Implementierung SML/NJ verwendet (siehe obigen Link). Auf den CIP-Rechnern kann SML entweder in einer Shell durch Eingabe des Befehls sml gestartet oder aber unter dem Emacs verwendet werden. Hierzu werden wieder folgende Zeilen in der .emacs-Datei benötigt:

  (setq load-path
	(cons "/home/stud/kornstae" load-path))
  (require 'my-sml-mode)
  (setq auto-mode-alist
	(cons '("\\.sml\\'" . sml-mode)
	      auto-mode-alist))

Dadurch werden auch die im Scheme-Mode verwendeten Tastenkürzel definiert (vgl. Übungsblatt 1).

Ausführlichere Dokumentation des SML-Mode kann über C-c C-i aus jedem SML-Buffer abgerufen werden.

Da der SML-Mode nicht zu der Emacs-Standarddistribution gehört, muß man folgende Dateien herunterladen, wenn man den SML-Mode auf anderen Rechnern als dem CIP-Pool benutzen möchte:

Leif Kornstaedt