Le lambda calcul pour les nuls ...

Discussions générales concernant les mathématiques et n'entrant pas dans les catégories suivantes.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
projetmbc
Utilisateur chevronné
Utilisateur chevronné
Messages : 2238
Inscription : samedi 29 décembre 2007, 00:58

[Résolu] Le lambda calcul pour les nuls ...

Message non lu par projetmbc »

Bonjour,
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.
rebouxo
Modérateur honoraire
Modérateur honoraire
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre
Contact :

Re: Le lambda calcul pour les nuls ...

Message non lu par rebouxo »

La doc d'Emacs (pardon j'avais pas vu le simple), :arrow: 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 :mrgreen:

Olivier
Je sais la dernière remarque est un acide, mais bon c'est pour ton bien :wink:
A line is a point that went for a walk. Paul Klee.
Par solidarité, pas de MP.
projetmbc
Utilisateur chevronné
Utilisateur chevronné
Messages : 2238
Inscription : samedi 29 décembre 2007, 00:58

Re: Le lambda calcul pour les nuls ...

Message non lu par projetmbc »

rebouxo a écrit :La doc d'Emacs (pardon j'avais pas vu le simple), :arrow: je sors.
Et vite. :mrgreen:
rebouxo a écrit :En tous cas bravo pour ton rythme de lecture, je suis impressionné.
Je te rassure, je regarde juste les images.
rebouxo a écrit :En tous cas bravo pour ton rythme de lecture, je suis impressionné. Tu vas bientôt pouvoir répondre à des questions :mrgreen:
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... :D

Merci pour ces infos.
Garulfo

Re: Le lambda calcul pour les nuls ...

Message non lu par Garulfo »

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.
« Simple » c'est-à-dire ? Accessible à un niveau universitaire ?
Pierre Lescanne : http://laure.gonnord.org/site-ens/mim/l ... g_fst.html
Est-ce que ça te va ?
projetmbc
Utilisateur chevronné
Utilisateur chevronné
Messages : 2238
Inscription : samedi 29 décembre 2007, 00:58

Re: Le lambda calcul pour les nuls ...

Message non lu par projetmbc »

Merci beaucoup pour ce lien.

Effectivement ce genre de docs est abordable, synthétique et propose une "petite vision globale" des choses.
Garulfo

Re: Le lambda calcul pour les nuls ...

Message non lu par Garulfo »

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.
Si tu as des questions, n'hésites pas.
Shrat

Re: [Résolu] Le lambda calcul pour les nuls ...

Message non lu par Shrat »

Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
rebouxo
Modérateur honoraire
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 ...

Message non lu par rebouxo »

Shrat a écrit :Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
Ou CAML ai-je lu ce matin, qui est aussi directement dérivée du $\lambda$-calcul.
M'sieur j'avais presque bon, c'était un langage de programmation ! :mrgreen:

Olivier
A line is a point that went for a walk. Paul Klee.
Par solidarité, pas de MP.
Garulfo

Re: [Résolu] Le lambda calcul pour les nuls ...

Message non lu par Garulfo »

Shrat a écrit :Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
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.
Répondre
  • Sujets similaires
    Réponses
    Vues
    Dernier message