Combinateures, Catégoriques et Implémentation des Languages Fonctionnels

Nous presentons une technique d'implementation des langages de programmation fonctionnels fondee sur l'utilisation des Combinateurs Categoriques. Contrairement a d'autres techniques d'implementation utilisant des combinateurs, notre approche ne debouche pas sur une machine a reduction mais sur une machine de type Von Neumann dont les termes formes de combinateurs categoriques sont en quelque sorte le code. Notre machine, que nous appelons Machine abstraite Categorique (ou CAM par abreviation de la traduction anglaise) implemente de facon naturelle l'appel par valeur mais on peut y realiser egalement et de maniere tres efficace des evaluations de type paresseux. Cet article donne une presentation renouvelee de la CAM par rapport a [CouCurMaul] et y ajoute des optimisations recentes [MauSua].