| keyword(s) : langages fonctionnels – langages déclaratifs – collections topologiques – transformations – systèmes dynamiques à structure dynamique – typage ensembliste – polytypisme – filtrage – langage MGS – syntaxe abstraite d'ordre supérieur |
|
| Integration of topological collections and transformations into a functional language |
| This work is part of the MGS project which studies the integration of topological notions into programming languages. We study and develop the notions of topological collection (a set of values equipped with a neighborhood relation and of transformation (a function defined by a set of rewriting rules using the topological relation). These notions supply an unified point of view on data structures, an extension of case based function definition and an alternative framework for the notion of polytypism, without being limited to algebraic data types. In this thesis we develop : - a generic pattern matching algorithm; - an higher order evaluation scheme; - a type system dealing with heterogeneous collections, polytypic transformations and shipped with automatic type reconstruction; - the use of types in compilation; - many examples validating the relevance of the choices we have made. |
| english keyword(s) : functional languages – declarative languages – topological collections – transformations – dynamical systems with a dynamical structure – set based typing – polytypism – pattern matching – MGS language – higher order abstract syntax |
