Discussion :

[shaku]

Bonjour , j'ai un petit problème au niveau d'une fonction , observez ceci , c'est une fonction avec 3 arguments :

(fonction A b C) A et C sont 2 listes . La liste A contient 2 entiers . Sous une certaine condition , dans mon programme , je dois rappeler cette fonction en gardant b , donc b reste , en prenant le reste de la liste C , donc (cdr C) , mais en ajoutant juste 1 au 1er élément de la liste A . Il est évident que si j'écris ceci c'est faux :

(fonction (+ 1 (car A)) b (cdr C)) . Le problème vient de la liste A , comment rappeler ma fonction en ajoutant juste 1 au 1er élément de la liste A ?

Merci pour votre aide .

[Trap D]

Il me semble que tu devrais t'intéresser au fonctions cons car et cdr.

[shaku]

Salut trap , je les connais par coeur d'ailleurs j'arrive à faire 85% de mes exos sur les listes voir 90 mais là franchement j'ai bien réfléchi et je ne vois pas du tout ...

[shaku]

par exemple trap si j'ai ceci :

(fonction (2 2) d (S A L U T))

Après un appel , je veux obtenir ceci :

(fonction (3 2) d (A L U T)) . Donc on fait l'appel sur la reste de la dernière liste pas de problème , pour l'instant d reste comme il est , mais comment ajouter 1 au 1er terme de la 1er liste , je fouille tous mes bouquins et je n'ai aucun exercice de ce style et je ne vois pas comment faire avec cons car la liste doit rester de la même taille . Un appel récursif sur cons ferait grossir ma liste je pense . Qu'en dis tu ?

[Garulfo]

(fonction (+ 1 (car A)) b (cdr C)) . Le problème vient de la liste A , comment rappeler ma fonction en ajoutant juste 1 au 1er élément de la liste A ?

Il faut simplement que tu reconstruises complètement A avec le premier élément modifié. C'est donc l'utilisation bien dosée de cons, car et cdr dont il est question.

Est-ce que tu vois bien que "la liste qui est comme A mais dont le premier élément vaut un de plus que le premier élément de la liste A" et "la liste A" sont deux listes différentes ?

Donne nous un algorithme et on te dira quoi modifier si nécessaire, et quoi raffiner si tu n'es pas assez précis.

[shaku]

Salut les gars , alors je pense avoir réussi car lors de mon exécution pas à pas j'ai bien ma liste qui se construit , donc en fait il faut écrire :

Code :

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

(fonction (cons (+ 1 (car A)) (cdr A)  b (cdr C))

.

J'ai encore 2 très petites questions sur ceci . La 1ère : supposons que le paramètre b vaut U , et que lors de l'appel je souhaite changer sa valeur et je souhaite qu'il vaut S . Là il ne s'agit plus d'une construction mais d'un changement de valeur du paramètre , vous auriez une idée de la fonction à utiliser ?

merci

[shaku]

en fait pour etre plus explicite , au départ j'ai ceci :

Code :

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

(fonction (2 2) d (S A L U T))

avec d = 'U

Après un appel je veux obtenir ceci :

Code :

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

(fonction (2 2) d ( A L U T))

avec d = 'S

en programmation impérative je saurais le faire mais là je ne sais pas , auriez vous une idée ?

[shaku]

je pense avoir trouvé attendez svp avant de répondre je paufine quelque chose .

[shaku]

Alors j'ai réglé ces 2 petits problèmes , en éxécutant ceci :

(fonction '(1 1) 'E '(A A A T A A)) je dois avoir comme résultat cela :

(4 3)

Voici mon code , ne vous occupez pas des E , W... tout cela est juste aucun soucis .

Code :

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

1
2
3
4
5
6
7
8
9
10
(define (fonction c d L)
      (cond ( (and (equal? (car L) 'A) (equal? d 'E)) (fonction (cons (+ (car c) 1) (cdr c)) d (cdr L)) )  
            ( (and (equal? (car L) 'A) (equal? d 'W)) (fonction (cons (- (car c) 1) (cdr c)) d (cdr L)) )
            ( (and (equal? (car L) 'A) (equal? d 'N)) (fonction (cons (car c) (- (cadr c) 1)) d (cdr L)) )
            ( (and (equal? (car L) 'A) (equal? d 'S)) (fonction (cons (car c) (+ (cadr c) 1)) d (cdr L)) ) 
            ( (and (equal? (car L) 'T) (equal? d 'E)) (fonction c 'S (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'S)) (fonction c 'W (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'W)) (fonction c 'N (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'N)) (fonction c 'E (cdr L)) )  
            (else '())))

Quand je tape :

(fonction '(1 1) 'E '(A A A T A A))

, j'ai comme retour : cadr: expects argument of type <cadrable value>; given (4 . 2) et j'avoue que je ne vois pas du tout pourquoi , je construis correctement ma liste .

En gros ma fonction me renvie la 1ere liste ( en paramètre ) , après avoir fait divers calculs dessus en fonction de d et L . Tous les cond sont justes , le seul problème c'est ce fichu cadr et également comment retourner au final la liste ...

[shaku]

C'est bon les gars j'ai parfaitement réussi à corriger mon programme il marche , le voici :

Code :

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

1
2
3
4
5
6
7
8
9
10
(define (fonction c d L)
      (cond ( (not (pair? L)) c)
            ( (and (equal? (car L) 'A) (equal? d 'E)) (fonction (cons (+ (car c) 1) (cdr c)) d (cdr L)) )  
            ( (and (equal? (car L) 'A) (equal? d 'W)) (fonction (cons (- (car c) 1) (cdr c)) d (cdr L)) )
            ( (and (equal? (car L) 'A) (equal? d 'N)) (fonction (cons (car c) (list (- (cadr c) 1))) d (cdr L)) )
            ( (and (equal? (car L) 'A) (equal? d 'S)) (fonction (cons (car c) (list (+ (cadr c) 1))) d (cdr L)) ) 
            ( (and (equal? (car L) 'T) (equal? d 'E)) (fonction c 'S (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'S)) (fonction c 'W (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'W)) (fonction c 'N (cdr L)) )
            ( (and (equal? (car L) 'T) (equal? d 'N)) (fonction c 'E (cdr L)) )))

Vous noterez que je n'ai pas mis de else dans mon cond , et ça marche quand meme , j'en déduis que else n'est pas obligatoire...

[Garulfo]

Alors ne connaissant pas le sujet de ton devoir, il m'est difficile de te dire si c'est correct. Mais il me semble que tu as bien compris comment faire.
Félicitations, trouver seul équivaut à un grand pas dans la compréhension d'un cours.

Petite remarque cependant, il faut que tu comprennes bien la distinction impératif/fonctionnel et que ce que tu as fait se ferait dans un programme impératif si on voulait préserver les listes originels tout en les passant par référence. La programmation fonctionnel introduit des façons de faire qui ne sont pas inutiles dans les autres paradigmes de programmations.

En tout cas, bon courage pour la suite.