Le lambda calcul pour les nuls ...
Le lambda calcul pour les nuls ...
Bonjour,
quelqu'un connait-il des documents "simples" sur ce sujet hautement technique qu'est le lambda calcul ?
Toute info. est la bienvenue.
Merci.
quelqu'un connait-il des documents "simples" sur ce sujet hautement technique qu'est le lambda calcul ?
Toute info. est la bienvenue.
Merci.
Dernière modification par projetmbc le mercredi 26 mai 2010, 10:30, modifié 1 fois.
-
- Modérateur honoraire
- Messages : 6962
- Inscription : mercredi 15 février 2006, 13:18
- Localisation : le havre
- Contact :
Re: Le lambda calcul pour les nuls ...
La doc d'Emacs (pardon j'avais pas vu le simple), je sors.
Il y a une belle biblio sur la page de wikipedia (et tiens il parle pas du lips, il m'avait semblé entendre que le LISP était dérivé du $\lambda$-calcul, mais peut-être me trompe-je).
En tous cas bravo pour ton rythme de lecture, je suis impressionné. Tu vas bientôt pouvoir répondre à des questions
Olivier
Je sais la dernière remarque est un acide, mais bon c'est pour ton bien
Il y a une belle biblio sur la page de wikipedia (et tiens il parle pas du lips, il m'avait semblé entendre que le LISP était dérivé du $\lambda$-calcul, mais peut-être me trompe-je).
En tous cas bravo pour ton rythme de lecture, je suis impressionné. Tu vas bientôt pouvoir répondre à des questions
Olivier
Je sais la dernière remarque est un acide, mais bon c'est pour ton bien
A line is a point that went for a walk. Paul Klee.
Par solidarité, pas de MP.
Par solidarité, pas de MP.
Re: Le lambda calcul pour les nuls ...
Et vite.rebouxo a écrit :La doc d'Emacs (pardon j'avais pas vu le simple), je sors.
Je te rassure, je regarde juste les images.rebouxo a écrit :En tous cas bravo pour ton rythme de lecture, je suis impressionné.
A lire : le 2ème bloc de ce ce message. Attention, il semblerait que je réponde à une question technique, mais chut ne le dis à personne... :Drebouxo a écrit :En tous cas bravo pour ton rythme de lecture, je suis impressionné. Tu vas bientôt pouvoir répondre à des questions
Merci pour ces infos.
Re: Le lambda calcul pour les nuls ...
« Simple » c'est-à-dire ? Accessible à un niveau universitaire ?projetmbc a écrit :Bonjour,
quelqu'un connait-il des documents "simples" sur ce sujet hautement technique qu'est le lambda calcul ?
Toute info. est la bienvenue.
Merci.
Pierre Lescanne : http://laure.gonnord.org/site-ens/mim/l ... g_fst.html
Est-ce que ça te va ?
Re: Le lambda calcul pour les nuls ...
Merci beaucoup pour ce lien.
Effectivement ce genre de docs est abordable, synthétique et propose une "petite vision globale" des choses.
Effectivement ce genre de docs est abordable, synthétique et propose une "petite vision globale" des choses.
Re: Le lambda calcul pour les nuls ...
Si tu as des questions, n'hésites pas.projetmbc a écrit :Merci beaucoup pour ce lien.
Effectivement ce genre de docs est abordable, synthétique et propose une "petite vision globale" des choses.
Re: [Résolu] Le lambda calcul pour les nuls ...
Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
-
- Modérateur honoraire
- Messages : 6962
- Inscription : mercredi 15 février 2006, 13:18
- Localisation : le havre
- Contact :
Re: [Résolu] Le lambda calcul pour les nuls ...
Ou CAML ai-je lu ce matin, qui est aussi directement dérivée du $\lambda$-calcul.Shrat a écrit :Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
M'sieur j'avais presque bon, c'était un langage de programmation !
Olivier
A line is a point that went for a walk. Paul Klee.
Par solidarité, pas de MP.
Par solidarité, pas de MP.
Re: [Résolu] Le lambda calcul pour les nuls ...
Lisp est basé sur le lambda-calcul. Il est basé sur le lambda-calcul non typé. Haskell est basé sur le lambda-calcul typé. Tu ne peux donc pas faire certaines constructions issus du lambda-calcul non typé comme la construction des booléens uniquement à partir des fonctions purs. Je suppose que tu réfères au fait que Lisp (comme OCaml) permet les effets de bord sous condition. Enlève cette partie et tu as du lambda-calcul. J'utilise les trois, j'enseigne les trois, j'aime les trois.Shrat a écrit :Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
-
- Sujets similaires
- Réponses
- Vues
- Dernier message