Devoir de Philosophie

Lisp. langage de programmation créé et développé à partir de

Publié le 05/11/2013

Extrait du document

langage
Lisp. langage de programmation créé et développé à partir de 1958. Historique et domaine d'utilisation. Lisp a été conçu à l'origine non pour être un langage de programmation, mais comme une notation (inspirée du lambda-calcul) pour l'écriture des fonctions. Il avait déjà été remarqué que le lambda-calcul imaginé en 1941 par Alonzo Church constituait un noyau de langage fonctionnel. Les textes Lisp devaient alors être traduits à la main en langage d'assemblage pour être exécutés. En écrivant une fonction eval en Lisp qui prenait une expression Lisp en argument, on a remarqué que eval pouvait servir comme interprète de Lisp. On le coda à la main et on créa ainsi un langage de programmation associé à son interprète. Un interprète est un programme qui réalise effectivement les opérations figurant dans le programme source qu'il reçoit en entrée. Ces circonstances illustrent une réponse possible à la question « Comment le premier compilateur a-t-il été compilé ? ». Lisp a évolué de manière informelle au sein de communautés de chercheurs dans des domaines auxquels il s'est révélé bien adapté : calcul symbolique, intelligence artificielle, linguistique de la programmation. Au cours des années soixante-dix, deux dialectes majeurs furent MacLisp (issu du projet Mac du MIT [Massachusetts Institute of Technology]) et InterLisp (de BBN et du Parc de Xerox). Ils furent suivis dans les années quatre-vingt de FranzLisp et de ZetaLisp, fondés sur un processeur spécialisé conçu au Laboratoire d'intelligence artificielle du MIT pour exécuter efficacement des programmes Lisp. Le dialecte CommonLisp se présente comme une tentative d'unification de toutes les caractéristiques intéressantes de ses prédécesseurs, ce qui en fait un langage encombrant. À l'inverse, Scheme est un Lisp créé au MIT, concis et élégant, très fidèle au lambda-calcul et néanmoins efficace. Lisp semble devoir rester confiné au monde de l'enseignement et de la recherche, bien que ses dialectes modernes soient virtuellement utilisables pour tout type de programmation sur tout type de machine et que les progrès en puissance des ordinateurs l'affranchissent des limites de performances qui l'ont longtemps gêné. Les caractéristiques du langage. L'élégance de Lisp réside dans la simplicité de sa syntaxe, qui permet de l'apprendre en peu de temps. Le programme ci-dessous élève son argument au carré (les exemples sont en Scheme, la notation est préfixée, c'est-à-dire que l'opérateur précède les opérandes) : (define (carré x) (* x x)) pour utiliser ce programme : (carré 3) 9 Lisp utilise la récursion, c'est-à-dire le fait pour une fonction de faire appel à elle-même, comme l'illustre ce programme de calcul de factorielle (la factorielle d'un entier n, notée n !, est égale au produit des entiers non nuls inférieurs ou égaux à n, L'idée du lambda-calcul, qui est de traiter les fonctions comme les variables, se réalise directement dans le programme suivant « somme » qui admet en arguments une fonction f et deux entiers a et b, et qui effectue la somme des valeurs de la fonction pour tous les entiers compris entre a et b inclus : Complétez votre recherche en consultant : Les corrélats informatique - Histoire de l'informatique - La logique formelle - Logique moderne et informatique informatique - Histoire de l'informatique - Ordinateurs et informatique - L'histoire des langages informatique - La science informatique - La linguistique de la programmation lambda-calcul langage à objets langage de programmation Macintosh ordinateur - Historique - Le rôle croissant du logiciel Prolog
langage

« est égale au produit des entiers non nuls inférieurs ou égaux à n, L'idée du lambda-calcul, qui est de traiter les fonctions comme les variables, se réalise directement dans le programme suivant « somme » qui admet en arguments une fonction f et deux entiers a et b , et qui effectue la somme des valeurs de la fonction pour tous les entiers compris entre a et b inclus : Complétez votre recherche en consultant : Les corrélats informatique - Histoire de l'informatique - La logique formelle - Logique moderne et informatique informatique - Histoire de l'informatique - Ordinateurs et informatique - L'histoire des langages informatique - La science informatique - La linguistique de la programmation lambda-calcul langage à objets langage de programmation Macintosh ordinateur - Historique - Le rôle croissant du logiciel Prolog. »

↓↓↓ APERÇU DU DOCUMENT ↓↓↓

Liens utiles