Alcool-90. Typage de la surcharge dans un langage fonctionnel

Le developpement de gros logiciels (par exemple centaur et son composant central, le vtp-virtual tree processor-), a mis en evidence la necessite de fournir au programmeur des outils lui permettant de concevoir et d'ecrire des programmes ou composants logiciels reutilisables, donc en particulier independants des representations internes des donnees. Il est aussi important de verifier que l'execution d'un programme se deroulera sans erreurs dues a une mauvaise utilisation de donnees ou de fonctions. Nous commencerons par etudier les approches deja existantes de ces problemes, avec d'une part les techniques de programmation de haut niveau (programmation orientee-objet, types abstraits), et d'autre part les systemes de types correspondants qui assurent la securite d'execution. Nous proposons ensuite une formalisation composee d'un langage fonctionnel autorisant la surcharge resolue a l'execution et d'un systeme de types qui assure sa securite d'execution. Le typage est base sur le polymorphisme a la ml, et autorise l'inference de types. Les donnees sont caracterisees par l'ensemble des primitives qui peuvent leur etre appliquees. La surcharge des noms de ces primitives permet alors un style de programmation base sur l'abstraction et la factorisation d'algorithmes. Un prototype du langage, baptise alcool-90, a ete realise, et est utilise dans les exemples de demonstration du style de programmation