Un langage fonctionnel polymorphe : application aux problèmes logiciels du calcul formel

A polymorphic functionnal language : application to software problems in algebraic computation

• Auteur / Autrice : Stéphane Dalmas
• Direction : André Galligo
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Nice
• Jury : Président / Présidente : Jacques Morgenstern
• Jury : Examinateurs / Examinatrices : Daniel Lazard, Michel Rueher, Gérard Berry, Gérard Lassalle-Balier
• Jury : Rapporteur / Rapporteuse : B. Lang

Mots clés

Mots clés contrôlés

Calcul formel

Langages de programmation

Résumé

Ce mémoire décrit la conception d'un langage de programmation polymorphe doté d'un système de types puissant. La conception et l'implémentation des systèmes de calcul formel posent des problèmes délicats du fait de la variété des objets mathématiques et de la sophistication des algorithmes. Dans ce contexte, nous montrerons comment un langage de programmation doté d'un système de types puissant permet d'exprimer plus naturellement les objets mathématiques, les algorithmes à un degré de généralité le plus grand possible, et la structuration d'un système, vu comme une bibliothèque de composants logiciels. Le langage décrit aura une base simple, un lambda-calcul type. On peut le classer dans la famille restreinte des langages capables de manipuler leurs types, comme Russel, Poly et Quest. On l'équipera d'une notion assez générale de types dépendants et d'une notion de vues qui procurera un moyen puissant de réutilisation de code