Une librairie pour le cours inf544
COMPILATION
Dans ce répertoire.
% sh make.sh
Note: Il faut Objective Caml 3.10 (ou plus récent),
car make.sh emploie ocamlbuild.
INSTALLATION
Dans ce répertoire.
% sh install.sh dest
OÙ dest est le répertoir cible.
Les fichiers pcf.cmo et pcf.cmi sont simplement copiés dans dest
DOCUMENTATION
Voir
(La documentation est fabriquée par sh make.sh doc)
Et plus généralement tout le cours INF544 de l'École polytechnique.
BONUS
L'archive contient divers exemples d'utilisation de la bibliotèque,
Les sources de la forme *top.ml sont des boucles interactive, les sources
de la forme *main.ml sont plutôt des interpréteurs/vérificateurs etc. qui
lisent l'entrée standard et écrivent dans la sortie standard.
Par exemple, intertop est un interpréteur.
% ocamlbuild intertop.byte # Fabrication
% ./intertop.byte # Lancement
PCF> Let x = 1;;
val x = 1
PCF> Let g = Fun y -> x+y;;
val g =
PCF> g 4;;
- = 5
PCF> ^D
%
BONUS du BONUS
zyva.ml est un compilateur de PCF pour les machines Intel IA32. Le support à
l'exécution se réduit à une fonction d'allocation de cellules mémoire
donnée dans le source C 'zyva.c'.