OCaml et C : le meilleur des mondes

1. Présentation

Lors des différents projets de programmation que l'on peut rencontrer, un des problèmes qui se posent souvent est la possibilité d'implémenter une spécification en vérifiant que le programme respecte bien les contraintes requises.

Plus généralement, le travail de vérification et de correction des bugs d'un programme est souvent grandement simplifié lorsque le programmeur n'a à se concentrer que sur la logique de fonctionnement de son code, et non sur les erreurs « bas-niveau » comme l'allocation et la libération de mémoire.

Or, lorsque la logique de fonctionnement est complexe ou si l’on a à manipuler des objets dynamiques, comme des tableaux à taille variable dans un langage bas niveau comme le C, la lisibilité du code est souvent grandement affectée par toutes les manipulations bas niveau que cela implique. Ainsi, la logique d'implémentation est mélangée avec des tâches plus administratives qui rendent le travail de debug…