Une brève introduction à Scheme, un dialecte de Lisp, crée dans les années 70 au MIT par Gerald Jay Sussman et Guy L. Steele (impliqué dans la conception de Lisp, Scheme, Fortran 90, Java et dans l'implémentation d'Emacs et de TeX).
sudo apt install mit-scheme
Scheme est un langage interprété, comme Python ou PHP. Pour executer du code Scheme, vous pouvez accéder à un interpréteur interactif en ligne de commande. Dans un terminal
mit-scheme
1 ]=>
Pour accéder au manuel de l'interpréteur control+c ? (taper control et c en même temps, puis ?). Pour revenir au REP, control+x. Pour quitter l'interpréteur, tapez control+c Q.
L'interpréteur fonctionne toujours de la même manière: il lit l'expression que vous avez tapé dans le terminal (read), évalue l'expression (eval) et affiche le résutlat (print). On appelle cela la read-eval-print loop (Read Eval Print ou REP). Lorsque vous accéder à l'interpréteur, le prompt 1 ]=> indique que vous êtes dans le REP de niveau 1. Pour nettoyer l'écran, control+c control+l.
Dans le REP tapez (+ 1 2) puis entrée. L'expression (+ 1 2) est lue par l'interpréteur (read), évaluée à 3 (eval) puis imprimée sur la sortie standard (print).
1 ]=> (+ 1 2)
;Value: 3
On remarque que le résultat affiché ;Value: 3 est écrit sous forme de commentaire. Un commentaire en Scheme est défini par le caractère ;.
Tout programme repose sur 3 ingrédients :
- des expressions primitives : fournies par le langage, ce sont les expressions les plus simples, comme la représentation du nombre
42, la chaîne de caractères"foobar"ou la procédure d'addition (+) - des moyens de combinaison pour combiner des éléments simples afin d'en fabriquer des plus complexes
- des moyens d'abstraction pour nommer, penser et manipuler les combinaisons comme des modules ou boîtes noires
Par exemple, si vous tapez 42 dans l'interpréteur, le REP vous affiche 42. En effet, 42 est évalué à 42. Scheme vous met à disposition des procédures (ou fonctions) primitives comme l'addition (+), la soustraction (-), la multiplication (*) et la division (/).
Et bien d'autres, on y reviendra plus tard.
L'expression (+ 1 2) est une liste. Une liste est délimitée par des parenthèses.
La syntaxe de Scheme est simple. Elle s'apprend en quelques minutes. La difficulté c'est que les parenthèses jouent plusieurs rôles (on dit que leur sémantique est surchargée) ce qui peut prêter à confusion au départ.
Lisp veut dire list processing, car tout y est traitement de listes ! Le premier élément de la liste est appelé l'opérateur, (+). Le reste des éléments sont les opérandes (1 et 2). Les parenthèses indique à l'interpréteur d'évaluer l'application de la procédure + au reste des éléments de la liste. La liste (+ 1 2) peut donc se traduire par applique la procédure + aux éléments 1 et 2. L'expression (+ 1 2) est lue (read), l'interpréteur voit les parenthèses et applique donc + à 1 et 2 (eval) et affiche 3 (print).
Si vous tapez
+ 1 2sans parenthèses, Scheme va évaluer chaque expression séparemment.
- Site officiel de MIT/GNU Scheme (sur gnu.org), MIT/GNU Scheme est une implémentation du langage Scheme développée par Abelson et distribuée sous forme de logiciel libre (intégré au projet GNU)
- Documentation officielle de Scheme (une page)
- Structure and interpretation of computer programs, 2nd edition (version HTML), l'édition web gratuite et complète du très grand livre d'Abelson, Gerald Jay et Julie Sussman (MIT Press, 1996).
Recommandé - Introduction aux fonctions en Scheme, un extrait d'un autre bon tutoriel sur le web sur Scheme
- Interpréteur Scheme en ligne, un interpréteur Scheme mis sur le web par l'université de Berkeley. Pratique pour tester sans installer
- Why Scheme ?
- Installation sur macOS: Homebrew Scheme, page d'intallation de Scheme sous macOS via le gestionnaire de paquets Homebrew
- Installation sur GNU/Linux, installation de Scheme sous GNU/Linux