Informatik I - Institut für Informatik - Christian-Albrechts-Universität zu ...

(genaugenommen eine Operation) use zur Verfügung steht, mit deren Hilfe man Dateien
in das System laden kann.
Standard ML of New Jersey, Version 110.0.3, January 30, 1998
val use = fn : string -> unit
-
Durch das Minuszeichen ” -“ zeigt das System an, daß es eine Benutzereingabe erwartet.
Man nennt ” -“ auch den Prompt von SML97.
Nun kann man beispielsweise mittels des use-Kommandos eine Datei mit einem ML-
Programm in SML97 laden, so wie es in Abschnitt 3.3 schon beschrieben wurde. Wir
gehen im folgenden, wie ebenfalls in diesem Abschnitt angenommen, davon aus, daß in
einer Datei mit dem Namen isperfect.ml das aus den drei Rechenvorschriften divides,
isp undisperfect bestehende ML-Programm zum Testen von perfekten Zahlen enthalten
ist. Gibt man dann nach dem Prompt den Text
use "isperfect.ml";
ein, so antwortet das SML97-System wie nachfolgend angegeben:
[opening isperfect.ml]
val divides = fn int * int -> bool
val isp = fn int * int -> bool
val isperfect = fn int -> bool
val it = () : unit
-
Damit werden die drei geladenen Rechenvorschriften mit ihren Namen und jeweils auch
den Sorten der Parameter und der Sorte des Resultats aufgezählt. Zusätzlich wird noch
eine Konstante it als Abkürzung für das einzige Objekt () der Sorte unit definiert
Nun kann man nach dem Prompt einen geschlossenen Term eingeben, der aufgebaut sein
darf aus den Konstanten und Operationen der elementaren ML-Datenstrukturen und den
Rechenvorschriften, die eben geladen wurden. Ein Beispiel hierfür ist:
isperfect(6);
Das SML97-System antwortet auf diese Eingabe mit der folgenden Ausgabe:
val it = true : bool
-
SML97 berechnet also den Wert true des Terms isperfect(6) und gibt auch die entsprechende
Sorte bool mit aus. Weiterhin wird die oben erwähnte Konstante it nun als
Abkürzung für den berechneten Wert definiert. Nach dieser Auswertung kann man entweder
weitere Terme zur Auswertung eingeben, oder mittels use weitere Programme aus
Dateien laden, um die darin enthaltenen ML-Programme analog zum Term isperfect(6)
90