Discussion :

[hocinelux]

bonjours
je voudrait savoire a quoi ca sert le lambda-calcul?.
merci

[InOCamlWeTrust]

En soi, tel quel, à rien.

Dans la pratique, il a servi, et sert, à construire des langages fonctionnels comme Haskell ou Objective Caml, à montrer des choses les concernant, etc...

[cedric49fr2000]

salut ,

ca me fait penser à la question : "à quoi ça sert les maths ?"

La réponse ne peut être que du même ordre.

bonne journée à tous .

cédric

[davcha]

En ce moment, je me sers du lambda-calcul pour faire une sorte de version pre-alpha d'un petit projet rigolo que j'ai en tête depuis quelques temps.

En gros, il s'agit de réaliser un programme qui, à partir d'un ensemble de contraintes, produit un algorithme, automatiquement, sans intervention humaine, qui répondra au problème posé (le problème étant posé sous cette forme d'ensemble de contraintes, donc).

Evidemment, il y a quelques problèmes assez épineux dans ce truc, comme : comment poser clairement l'intégralité des contraintes d'un algorithme donné, sans fournir l'algorithme lui-même et tout en restant suffisemment rapide.
Ou encore, comme résoudre les problèmes liés aux algorithmes dont l'execution ne termine jamais, tout en restant efficace, toujours. Il s'agit pas de ralentir trop longtemps le programme sur un algorithme qui de toute façon ne fonctionnera pas.
Dans la mesure où on ne peut pas déterminer, quelque soit l'algorithme, si celui se termine ou non, comment faire pour résoudre les problèmes de performances vis à vis de la recherche du bon algorithme quand le programme teste des algorithmes qui ne terminent pas.

etc...


Alors, pourquoi le lambda-calcul pour cette version pre-alpha ? Parce que le lambda-calcul (pur) est un langage extrèmement simple qui met en place les principaux éléments qu'on retrouve dans tout algorithme : la notion de variable, d'abstraction et d'application.

Voilà, c'est tout.

Evidemment, c'est plus un loisir qu'autre chose en ce qui me concerne.