Discussion :

[NINEON]

comment on écrit une fonction en Caml qui réduit les CL-termes de la lambda calcul (la forme normale)

[gorgonite]

comment on écrit une fonction en Caml qui réduit les CL-termes de la lambda calcul (la forme normale)

ce sera certainement plus long qu'une simple fonction, il faut déjà te fixer une représentation de ton lambda terme, et une stratégie de réduction, puis un "simple" pattern matching devrait faire l'affaire

[NINEON]

si par exemple on a le terme (SXYZ) ,on le représente par une liste ensuite on le rends sous forme normale(réduction).
ALORS comment on implément ça en Caml?(merci)

[alex_pi]

si par exemple on a le terme (SXYZ) ,on le représente par une liste ensuite on le rends sous forme normale(réduction).
ALORS comment on implément ça en Caml?(merci)

Alors enfait, il parraitrait que ce serait un forum d'entraide, c'est à dire qu'on serait des volontaire, et qu'on ne serait pas payé pour faire ton boulot. Donc tu prends un bouquin de lambda calcul, un tutoriel OCaml, tu tentes d'implémenter les stratégies de réduction, et quand tu as un problème spécifique, tu reviens, et tu poses ta question, et là on t'aideras.

Bonne chance

[alex_pi]

ce sera certainement plus long qu'une simple fonction, il faut déjà te fixer une représentation de ton lambda terme, et une stratégie de réduction, puis un "simple" pattern matching devrait faire l'affaire

Le gros du boulot, c'est l'alpha-conversion quand même ! C'est là qu'il a toutes les chances de se planter :-D

[NINEON]

Est ce que je peux avoir une petite idée comment débuter ce programme ou un site,franchement je suis bloqué.

[gorgonite]

Est ce que je peux avoir une petite idée comment débuter ce programme ou un site,franchement je suis bloqué.

ben je dirais

Code :

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

type LambaTerme = Var of string | Lambda of string * LambdaTerme | App of LambdaTerme * LambdaTerme

ensuite, réflechis aux règles de réduction



EDIT : en cherchant sur ce forum, tu pourras t'inspirer de ceci :
http://www.developpez.net/forums/sho...ghlight=lambda

[NINEON]

merci,est ce que vous ne connaissez pas un site qui peux m'aider.