Références: [Wal89] Depuis quelque temps, il existe des travaux [Rus92,EMR93,FK93,Fro94,EMSR97] de recherche qui introduisent la notation des grammaires attribuées dans la famille des langages ML. Ces travaux sont basés essentiellement sur l'article de JOHNSSON [Joh87]. L'approche que nous avons prise dans [Le 95] arrive rapidement à ses limites.
À ma connaissance actuelle, le mécanisme d'inférence de type sur de telle spécification est résolument simplifié: le type des attributs est donné explicitement. J'aimerais donc étudier plus précisément ce problème d'inférence de type sur une spécification par grammaire attribuée. Pour les travaux de la section 3.1, il est important de mieux comprendre ce mécanisme d'inférence sur de telles spécifications. Tout ceci nous permettra de proposer un langage de description de grammaire attribuée de la famille des langages ML.
Mais l'intérêt de ces travaux est d'expliciter plus clairement les divers problèmes de typages que j'ai pu rencontrer lors de mes travaux d'intégration de FNC-2 dans CENTAUR (inclusion de phyla) et dans la plate-forme COSY (le projet COMPARE ) avec le langage de description de structure fSDL [Con94].