Le traducteur vers Caml

avec Gilles LE BâTARD stage de maîtrise [Le 95] Pour améliorer la diffusion de FNC-2 , nous lui avons ajouté un nouveau traducteur (générateur de code) qui produit du code Caml [Le 95]. L'objectif de ce travail est double. Premièrement, cela va permettre d'étendre le champ d'application de FNC-2 et d'en faire un complément intéressant aux systèmes de programmation fonctionnelle comme Caml et Caml-Light. Par ailleurs, et surtout, cette traduction nous sera très utile pour valider les travaux décrits dans la section 2.12.1.

Pour faciliter l'intégration du code Caml produit par FNC-2 dans une application écrite en partie en Caml, nous avons pris lors de cette traduction les hypothèses suivantes:

• Les GA décrites sont des GAs purement fonctionnelles, sans effet de bord sur la structure arborescente. Les GA procédurales, qui modifient les arbres en les décorant, ne peuvent être prises en compte dans cette traduction.
• La définition de la structure arborescente est totalement libre, à la charge de l'écrivain, afin d'être indépendante de nos techniques de GA. L'écrivain doit juste décrire ses structures sous le format ASX pour que FNC-2 puisse travailler.

Dans son état actuel, ce traducteur traite la quasi-totalité de notre langage OLGA , en particulier toute la partie description de GA. De plus, pour faciliter l'intégration, nous avons écrit un petit traducteur asx_to_ml d'une spécification d'arbre en ASX vers une collection de types concrets en Caml.

• Quelques autres utilisations de FNC-2