Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

摘要

We present a program interpretation technique relying on an higher order abstract syntax which allows the reuse of the mechanisms of the host language (used to implement the interpreter) dedicated to application reductions instead of reimplementing them. This approach constitutes a simple and reasonably efficient alternate solution for fast interpreter development. This interpretation schema requires that the functions defined through the interpreted language be translated on the fly into functions of the host language. We use combinatory logic to make that translation in order not to limit our approach to the use of languages allowing meta programming.%Nous présentons une technique d'interprétation de programmes reposant sur le principe de syntaxe abstraite d'ordre supérieur qui permet de réutiliser les mécanismes du langage hôte (utilisé pour développer l'interprète) dédiés à la réduction des applications au lieu de les redévelopper. Cette approche constitue une alternative simple et raisonnablement efficace pour le développement rapide d'interprètes. Ce schéma d'interprétation nécessite que les fonctions définies dans le langage à interpréter soient traduites au vol en fonction du langage hôte. Nous utilisons la logique combinatoire pour réaliser cette traduction afin de ne pas limiter l'approche à l'utilisation de langages permettant la métaprogrammation.