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

Discussions générales concernant les mathématiques.
[ce forum est modéré par les modérateurs globaux du site]
Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Pour obtenir de l'aide sur un exercice ou un problème, consulter cette section. (ce forum est destiné aux discussions plutôt théoriques)

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

Messagepar projetmbc » Lundi 24 Mai 2010, 14:00

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 édition par projetmbc le Mercredi 26 Mai 2010, 09:30, édité 1 fois.
projetmbc
Péta-utilisateur
 
Messages: 1895
Inscription: Samedi 29 Décembre 2007, 00:58
Statut actuel: Actif et salarié | Enseignant

Publicité

Re: Le lambda calcul pour les nuls ...

Messagepar rebouxo » Lundi 24 Mai 2010, 22:41

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
rebouxo
Modérateur
 
Messages: 6863
Inscription: Mercredi 15 Février 2006, 13:18
Localisation: le havre
Statut actuel: Actif et salarié | Enseignant

Re: Le lambda calcul pour les nuls ...

Messagepar projetmbc » Mardi 25 Mai 2010, 08:52

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.
projetmbc
Péta-utilisateur
 
Messages: 1895
Inscription: Samedi 29 Décembre 2007, 00:58
Statut actuel: Actif et salarié | Enseignant

Re: Le lambda calcul pour les nuls ...

Messagepar Garulfo » Mercredi 26 Mai 2010, 06:01

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 ?
Garulfo
Kilo-utilisateur
 
Messages: 107
Inscription: Mardi 10 Juillet 2007, 19:49
Localisation: Sherbrooke, Québec, Canada
Statut actuel: Actif et salarié | Maître de conférence

Re: Le lambda calcul pour les nuls ...

Messagepar projetmbc » Mercredi 26 Mai 2010, 09:23

Merci beaucoup pour ce lien.

Effectivement ce genre de docs est abordable, synthétique et propose une "petite vision globale" des choses.
projetmbc
Péta-utilisateur
 
Messages: 1895
Inscription: Samedi 29 Décembre 2007, 00:58
Statut actuel: Actif et salarié | Enseignant

Re: Le lambda calcul pour les nuls ...

Messagepar Garulfo » Mercredi 26 Mai 2010, 21:45

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.
Garulfo
Kilo-utilisateur
 
Messages: 107
Inscription: Mardi 10 Juillet 2007, 19:49
Localisation: Sherbrooke, Québec, Canada
Statut actuel: Actif et salarié | Maître de conférence

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

Messagepar Shrat » Jeudi 27 Mai 2010, 21:50

Non Lisp ce n'est pas du lambda calcul. Tu confonds certainement avec l'excellent Haskell.
Shrat
Déca-utilisateur
 
Messages: 33
Inscription: Samedi 28 Mars 2009, 19:51
Statut actuel: Actif et salarié

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

Messagepar rebouxo » Jeudi 27 Mai 2010, 22:45

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
rebouxo
Modérateur
 
Messages: 6863
Inscription: Mercredi 15 Février 2006, 13:18
Localisation: le havre
Statut actuel: Actif et salarié | Enseignant

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

Messagepar Garulfo » Jeudi 27 Mai 2010, 23:50

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.
Garulfo
Kilo-utilisateur
 
Messages: 107
Inscription: Mardi 10 Juillet 2007, 19:49
Localisation: Sherbrooke, Québec, Canada
Statut actuel: Actif et salarié | Maître de conférence


Retourner vers Tribune des mathématiques

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 1 invité

cron