next up previous
Next: Programmation dirigée par Up: Travaux Théoriques Previous: Mises à jour

Relation avec la programmation fonctionnelle

Il est intéressant de noter que, au cours de ce travail, nous avons été amené à étudier un problème équivalent dans le cadre de la programmation fonctionnelle, ainsi que les solutions qui lui ont été apportées précédemment. Cela a renforcé notre conviction -- déjà étayée par des travaux de Thomas JOHNSSON [Joh87] et d'autres -- qu'il existait des relations très étroites entre ces deux styles de programmation (GA et programmation fonctionnelle) et que l'étude de ces relations pouvait être très fructueuse pour les deux. Par exemple, nous avons constaté [Dur94] des similarités, mais aussi des différences, entre la méta-composition des GA et la déforestation des programmes fonctionnels, deux transformations de programme visant à éliminer la constructions de structures intermédiaires inutiles; nous espérons, en poursuivant cette étude comparée, pouvoir améliorer chacune de ces deux méthodes.





Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997