Funktionale Programmierung

Bachelorstudium

VO2 + PS1 WS 2012/2013 703024 + 703025

Häufig Gestellte Fragen

Diese Site wird mit sinnvollen Fragen aus der Vorlesung, den Übungen, sowie gesendetem Feedback, befüllt.

Wie kann ich auf die Kursunterlagen außerhalb von .uibk.ac.at zugreifen?

Richten Sie einen VPN Zugang ein.

Wie aktiviere ich Kommandozeilenhistorie und -vervollständigung für `ocaml`?

Das Programm rlwrap (auf ZID Rechnern verfügbar) erfüllt genau diesen Zweck. Entweder kann man ocaml wie folgt aufrufen:


 $ rlwrap ocaml

oder folgendes Alias setzen (z.B. in .bashrc):


 alias ocaml="rlwrap ocaml"

Wie rufe ich `ocamlbuild` auf?

Es gibt verschiedene Möglichkeiten ocamlbuild zu verwenden:

Kompilieren der Datei prog.ml als ausführbaren Bytecode:
$ ocamlbuild prog.byte
Kompilieren eines Interpreters name.top in dem Module vorgeladen sind. Zuerst erstellt man die Datei name.mltop und listet darin zeilenweise alle Module auf die geladen werden sollen. Dann
$ ocamlbuild name.top

Wie kann ich einen eigenen Interpreter konfigurieren?

Immer wenn ein Interpreter gestartet wird (egal ob ocaml oder z.B. name.top von oben) wird überprüft ob die Datei .ocamlinit im gegenwärtigen Verzeichnis vorhanden ist. Falls ja, wird der Inhalt dieser Datei ausgeführt, als würde man ihn im Interpreter eintippen. (Alternativ kann auch über das Flag -init <file> die Datei <file> geladen werden.)

Dies ist unter anderem nützlich um sofort nach dem Start in das Verzeichnis _build zu wechseln (in dem ocamlbuild standardmäßig jeglichen Output speichert). Der entsprechende Befehl im Interpreter lautet #cd "_build";;.