LIP6 1999/012

• Rapports de recherche
  Modules, Objets et Calcul Formel
• S. Boulmé, Th. Hardin, R. Rioboo
• 14 pages - 08/05/1999- document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.012.ps.gz - 51 Ko
• Contact : Sylvain.Boulme (at) nulllip6.fr, Therese.Hardin (at) nulllip6.fr, Renaud.Rioboo (at) nulllip6.fr
• Ancien Thème : SPI
Le langage Ocaml propose des classes et des modules très élaborés. Ces deux paradigmes apportent tous deux des facilités de décomposition, d'abstraction, etc., relativement proches. Cette richesse peut laisser le programmeur perplexe, lorsqu'il s'agit de choisir la manière d'implanter une spécification un peu complexe. Nous avons entrepris le développement (en Ocaml) d'un environnement de programmation certifiée pour le calcul formel. Nous présentons dans cet article les étapes d'élaboration de notre propre méthodologie, qui marie objets et modules dans un style peu conventionnel. Nous expliquons en quoi la solution retenue nous permet de rendre compte au mieux de tous les aspects de notre spécification. Nous espérons ainsi apporter quelques éléments au débat modules/objets et montrer l'intérêt de certaines extensions des langages à base de modules ou de classes.
• Mots clés : programmation objet, typage sûr, modularité
• Directeur de la publication : David.Massot (at) nulllip6.fr