Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Courslisp id4554 pdf Le Premier LISP Didier Verna didier lrde epita fr http www lrde epita fr ?didier Séminaire du LRDE Juin CTable des matières Table des matières Nativité S - expressions ou S -exp Les sept Opérateurs Primitifs Dénotation Fonctionnelle A

Le Premier LISP Didier Verna didier lrde epita fr http www lrde epita fr ?didier Séminaire du LRDE Juin CTable des matières Table des matières Nativité S - expressions ou S -exp Les sept Opérateurs Primitifs Dénotation Fonctionnelle Application à LISP Fonctions récursives Quelques Fonctions Le Miracle Explications Le Premier LISP Didier Verna - Séminaire du LRDE Juin CTable des matières Bilan Les apports de LISP Y- combinator Dynamic Scoping Le Premier LISP Didier Verna - Séminaire du LRDE Juin CNativité Nativité ? MIT Laboratoire d ? Intelligence Arti ?cielle ? Projet Advice Taker ? manipulation d ? expressions représentant des phrases déclaratives et impératives en vue de déductions ? IBM ? John Mc Carthy Recursive Functions of Symbolic Expressions and their Computation by Machine ? Le Premier LISP Didier Verna - Séminaire du LRDE Juin CNativité IBM Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp S -expressions ou S -exp Premier soucis dé ?nir une expression ? S comme symbolic ? Une S -exp est un atome ou une liste d ? expressions Une liste est une séquence parenthésée d ? expressions séparées par des espaces Un atome est une séquence de lettres foo foo foo bar foo bar baz Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp Valeurs des S -exp Une S -exp a une valeur analogie mathématique ? ? ? Une S -exp non atomique s ? écrit OP ARG ARG ? OP est un opérateur ? ? ARGx est un argument ? La valeur d ? une S -exp est dé ?nie comme l ? application de l ? opérateur à ses arguments On dé ?ni opérateurs primitifs ? axiomes Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp Les sept Opérateurs Primitifs Les sept Opérateurs Primitifs Opérateur n quote x Retourne x quote x est aussi noté ? x quote a a ? a b c a b c quote ? a b c quote a b c Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp Les sept Opérateurs Primitifs Opérateur n atom x Retourne t si la valeur de x est atomique sinon t représente vrai représente faux l ? atome nil est équivalent à atom ? a t atom ? a b c atom ? t Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp Les sept Opérateurs Primitifs Remarque évaluation des arguments Contrairement à quote atom évalue son argument atom atom ? a t atom ? atom ? a ?? quote est un élément distinctif de LISP c ? est l ? opérateur permettant de faire la distinction entre code et données conséquence de leur équivalence structurelle en LISP Le Premier LISP Didier Verna - Séminaire du LRDE Juin CS -expressions ou S -exp Opérateur n eq x y Les sept Opérateurs Primitifs Retourne t si les valeurs