Hinweise zur Benutzung von Standard-ML

von der Shell

cip48 [15:52] 93 ~ -> /usr/local/bin/sml
Standard ML of New Jersey, Version 0.93, February 15, 1993
val it = () : unit
- 
Beenden von sml durch Eingabe von C-d (Control und d).

Laden einer Datei x.sml

- use("x.sml");
[opening x.sml]
val it = () : unit
- 

im Emacs

Weitere Information über den sml-mode mit C-h m.

SML-Anleitung im Emacs

Verschiedenes

Mit der Eingabe von
System.Control.Print.printDepth := 100;
kann man die Ausgabe von komplexen Strukturen in ML verbessern.

Part of Funktionale Programmierung
Andreas Podelski, Abdelwaheb Ayari, Hubert Baumeister
February 25, 1997

Imprint | Data Protection