Proposal for a natural formalization of functional programming concepts
Patrick Bellot, Djamil Sarni · RAIRO - Theoretical Informatics and Applications · 1988
Graal is the name of a variable-free functional programming language based on precepts coming from FP Systems and Combinatory Logic.This article proposes a formalization of Graat s concepts using a formai theory TG where the notions of uncurryfîed combinator and polyadic application are included.This allows to give a clear semantics of the Graal language because TG becomes its elementary model.TG appears as a new theorical basis for the study of applicative programming languages.TG has been conceived as a theory of intensional functions, that is to say that TG is a new formalization of Computability well suited for Computer Science. Resumé. -Graal désigne un langage de programmation fonctionnelle sans variable basé sur des principes issus des systèmes FP de J. W. Backus et de la théorie des Combinateurs de H. B. Curry. Cet article propose une formalisation des principes du langage à travers une théorie formelle TG incluant la notion de combinateur décurryfié et celle d'application polyadique. Par cette théorie, nous donnons une sémantique précise du langage Graal dont TG est un modèle élémentaire et nous fournissons une nouvelle base théorique pour î'étude des langages de programmation applicatifs.Conçue comme une théorie des fonctions en intension, TG s'inscrit comme une nouvelle formalisation de la théorie de la Calculabilité mieux adaptée à l'informatique théorique.