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
- Kopiere
/home/stud/abdelwaheb/.emacs
nach $HOME/.emacs
.
- starte Emacs mit
emacs
.
- Lade eine Datei mit Endung
.sml
-> sml-mode.
C-c C-b
lädt Datei in sml und startet sml wenn notwendig.
C-d
im sml-Fenster beendet sml.
Weitere Information über den sml-mode
mit C-h m
.
SML-Anleitung im Emacs
- Starten des Informationssystems mit
C-h i
.
- Lernen des Informationssystems Info mit h.
- SML-Anleitung durch
g
dann (/home/stud/abdelwaheb/info/sml)
Achtung: die Klammern sind ebenfalls einzugeben.
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