Précédent : Objective Caml sous Microsoft Windows Remonter : Implémentation de Caml Suivant : Outils pour le Web
Précédent : Objective Caml sous Microsoft Windows
Remonter : Implémentation de Caml Suivant :
Outils
pour le Web
Les années précédentes, Michel Mauny et Daniel de Rauglaudre ont mené une étude sur l'intégration en ML d'outils de manipulation de syntaxes concrètes (analyse syntaxique fonctionnelle, quotations, grammaires, etc.). Ces travaux se sont concrétisés en 1996 par la distribution du langage Chamau [5], un prototype offrant un mécanisme de quotations ainsi que des grammaires extensibles.
Dans le but d'intégrer au mieux ces mécanismes aux évolutions récentes de Caml, sans pour autant modifier profondément la définition du langage, Daniel de Rauglaudre a développé un préprocesseur d'Objective Caml nommé Camlp4 (pour preprocessor-pretty-printer ) intégrant ces fonctionnalités. Cette intégration a été effectuée grâce à la possibilité offerte par le compilateur Objective Caml de recevoir en entrée des arbres de syntaxe abstraite, et donc de court-circuiter l'analyse syntaxique des programmes. Camlp4 peut donc se substituer à l'analyseur syntaxique d'Objective Caml, permettant ainsi d'étendre le langage ou bien de le restreindre, et de le spécialiser à telle ou telle application.
La réalisation de Camlp4 a été terminée durant l'année 1996, et une documentation est en cours de rédaction.