Lisp : Dossier complet | Techniques de l'Ingénieur

1.1 - Caractéristiques
1.2 - Histoire

2 - Noyau de Lisp

2.1 - Atomes
2.2 - Liste
2.3 - Syntaxe
2.4 - Fonctions
2.5 - Formes
2.6 - Variables
2.7 - Prédicats
2.8 - Sélecteurs
2.9 - Composition fonctionnelle
2.10 - Construction de listes
2.11 - Formes spéciales
2.12 - Conditionnelle
2.13 - Séquence
2.14 - Construction de fonctions
2.15 - Récursivité
2.16 - Évaluation récursive
2.17 - Pensée récursive
2.18 - Mention
2.19 - Résumé

Tableau 1

3 - Mise en œuvre de Lisp pur

3.1 - Boucle fondamentale d’interaction
3.2 - Évaluateur
3.3 - Exemple détaillé
3.4 - Représentation des données
3.5 - Trace d’évaluation

4 - Autres aspects

4.1 - Fonctions anonymes
4.2 - Macros
4.3 - Échappements
4.4 - Propriétés

5 - Dialectes de Lisp

5.1 - Common Lisp
5.2 - Scheme
5.3 - Autres

6 - Conclusion

Présentation

Auteur(s)

Christian QUEINNEC : Ancien élève de l’École Polytechnique - Ingénieur en chef de l’Armement - Maître de conférences à l’École Polytechnique

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

Lisp est un langage de programmation ou plutôt, en l’absence actuelle de toute standardisation, une famille de dialectes spécialisés en calcul symbolique. L’invention de Lisp a répondu au besoin de manipulation d’entités variées et non plus simplement de nombres. Le calcul formel, les systèmes experts, les interfaces en langages naturels, la reconnaissance de formes ou, plus généralement, la représentation et la manipulation de connaissances deviennent ainsi directement accessibles sans recours à d’opaques codages numériques ; les algorithmes peuvent être concentrés à leur essence, et leur élaboration épouse, dans une large mesure, les contraintes internes des problèmes qu’ils résolvent et non celles du langage support.

Au dire de son inventeur, Lisp est un optimum local parmi les langages de programmation, ce qui explique sa longévité et sa stabilité [7]. Aucun de ses dérivés n’a su le supplanter : Lisp, les contenant déjà tous en germe, les assimila simplement à de nouveaux styles de programmation. Aujourd’hui, Lisp a cependant bien évolué et s’est considérablement enrichi de nouveaux types de données. Par ailleurs, son substrat mathématico‐logique (λ‐calcul, preuve de théorèmes, récursion...) ainsi que plus de trente années de recherche ont conduit à des systèmes (interprètes et / ou compilateurs) efficaces, à de très riches environnements de développement, à des machines spécialisées dans l’exécution de programmes Lisp ainsi qu’à des réalisations dont l’excellence n’est plus à prouver. Citons seulement et parce qu’elles représentent des extrêmes : Macsyma, système de calcul formel, et Emacs, éditeur de texte pleine page programmable [4].

Cet article est réservé aux abonnés.
Il vous reste 94 % à découvrir.

Pour explorer cet article Consulter l'extrait gratuit

Déjà abonné ? Se connecter