Introduction

Scheme repose sur la théorie du lambda-calcul[6,2,8] non typé^4.1. Le lambda-calcul est un formalisme mathématique créé dans les années 30 et dont le but est de formaliser le concept de fonction. Il est la base des nouveaux langages informatiques dits fonctionnels, comme Scheme et ML.

Scheme fut décrit pour la première fois en 1975 par GJ. SUSMAN et GL. STEELE[1,10]. C'est un langage de la famille de Lisp doté d'un extraordinaire pouvoir d'expression. Scheme a été conçu pour être simple et efficace.

Simple parce que Scheme est un langage à parenthèses sans presque aucune structure syntaxique. Il n'est pas nécessaire d'apprendre des formes syntaxiques plus ou moins complexes : tout en Scheme (ou presque) s'écrit de la même manière, en utilisant les parenthèses pour structurer le programme. L'accent est mis sur la sémantique des opérateurs, c'est-à-dire leur sens, plutôt que sur leur syntaxe.

Simple aussi parce que tous les objets créés peuvent être manipulés de la même manière : on dit qu'ils sont tous de première classe. Par exemple, il est possible à une fonction de rendre une fonction ou de prendre comme argument une fonction. Il est aussi possible de manipuler `` le futur '' d'un programme avec les continuations.

Efficace parce que les variables de Scheme sont liées de manière statique : cela permet une meilleure compréhension des programmes, mais surtout une compilation plus efficace.