Discussion :

[binous_]

Salut à tous
Je suis nouveau ici et j'aimerai bien avoire une iniciation sur l'implémentation des lambda terme (lambda calcul) sur Ocaml.

Je ne sais pas si j'ai bien spécifié mon Pb ou pas.
En fait j'ai utilisé Ocaml y' a 6 mois et maintenant j'arrive à connaitre le lambda calcul et ils m'ont dit que l'ocaml est très efficace pour l'implantation des lambda termes.

J'aimerai bien avoir un petit exemple qui marche et laissez le reste à moi

merci d'avance
cordialement

[Steki-kun]

Tu peux utiliser le systeme de types d'Ocaml pour définir un type des lambda termes qui "suit" leur définition. Par exemple, tu as clasiquement t ::= x | lambda x t | t t, tu peux définir le type des lambda termes correspondant aux trois cas (variable, abstraction, application) par :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
type term = TVar of string | TAbs of string * term | TApp of term * term

(Je choisis de représenter les noms de variables par des strings, c'est pas le seul ni le meilleur, mais c'est un choix possible)

et apres je te conseille de coder des petites fonctions utiles pour commencer, du genre, calculer l'ensemble des variables libres d'un terme, faire des substitutions de variable par des termes (gare à la capture de variables!), évaluer un terme (c'est-à-dire le réduire à une forme normale, quand elle existe), etc...

Bon courage!

[InOCamlWeTrust]

La construction du type...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
fun x y z ... -> ...

... c'est déjà du lambda calcul, tout comme la possibilité d'appliquer partiellement une fonction afin d'avoir une nouvelle fonction (l'application partielle).

Si tu veux un exemple complet sur le lambda-calcul, avec extension e syntaxe à l'appui, tu peux regarder ici :

http://caml.inria.fr/pub/docs/tutori...004.html#toc28

La racine du document se trouve, elle, par ici :

http://caml.inria.fr/pub/docs/tutori...lp4/index.html

[binous_]

Merci beaucoup à vous

c'est que je cherche

[binous_]

Voila je veux ajouter un autre truc qui implemente bien ce que je cherche:

http://pauillac.inria.fr/~barras/reduction/reduc_src/


merci