Author: Christian.Queinnec@lip6.fr

## 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.