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’articleINTRODUCTION
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].
L'expertise technique et scientifique de référence
VERSIONS
- Version archivée 1 de sept. 1988 par Christian QUEINNEC
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Dialectes de Lisp4. Autres aspects
D’autres aspects de Lisp existent qui méritent d’être présentés. Les fonctions, telles qu’elles furent introduites dans le paragraphe 2.14, portent toutes un nom mais, de fait, le concept de fonction est anonyme.
x → x 47 + 1 est une fonction à part entière quoique n’ayant jamais été baptisée d’un nom édifiant. Il est possible en Lisp de définir des fonctions anonymes grâce à la forme spéciale lambda provenant du λ‐calcul (Church 1936). On écrira alors (lambda (x ) (+ (expt x 47 ) 1)) ; lambda crée une fonction dont les variables et le corps figurent en premier et second paramètres.
L’application d’une fonction lie ses variables aux valeurs de ses paramètres d’appel : ses arguments. On parle alors d’établissement de liaisons. Ces liaisons ont une portée lexicale : elles ne sont visibles que du seul corps de la fonction. Ce mécanisme ne s’est définitivement imposé que vers 1984 à la suite de Scheme par préférence au modèle où les liaisons avaient une portée dynamique : elles étaient visibles pendant tout le temps d’exécution du corps de la fonction sans restriction aucune sur les endroits où pouvaient figurer les variables s’y référant (et notamment hors du corps de la fonction). Ce choix s’est imposé par souci de sécurité pour la construction de grands logiciels où les problèmes de modularité et de confinement prennent le pas.
Il est possible de modifier une liaison (et non une variable) grâce à la forme spéciale setq. C’est, en Lisp, l’équivalent de l’affectation des langages classiques avec tous les problèmes qu’elle apporte [10]. Son usage sera donc modéré.
4.1 Fonctions anonymes
Les fonctions anonymes sont un concept important de Lisp. Tout d’abord, elles sont des citoyens de première classe, c’est‐à‐dire des objets à part entière, sans restriction...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Autres aspects
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
