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