Résumé
Ce chapitre a présenté les différents outils d'aide à la
réalisation de programmes que fournit la distribution d'Objective CAML.
Le premier outil effectue une analyse statique pour déterminer les dépendances
d'un ensemble d'unités de compilation. Ces informations sont ensuite intégrables
dans un fichier Makefile permettant de ne compiler que le strict nécessaire
suite à une modification dans un ou plusieurs fichiers.
D'autres outils donnent des informations sur l'exécution du programme.
En premier lieu, la boucle d'interaction offre une trace de
l'exécution ; mais nous avons vu que le polymorphisme imposait des
restrictions assez lourdes quant aux valeurs qui sont observables. En
fait seules les déclarations globales de valeurs monomorphes sont
visibles, ce qui inclut tout de même les paramètres des
fonctions monomorphes et permet de tracer l'exécution des
fonctions récursives.
Les derniers outils sont ceux de la tradition des langages de
développement sous Unix, à savoir un debugger et un
profiler. Le premier permet d'exécuter pas à pas un programme
et le second fournit des informations sur ses performances. Tous deux
ne sont pleinement utilisables que sous Unix.