Pb fonction récursive simple

Bonjour,

j'ai un petit problème avec la fonction suivante qui enlève les chaînes vides dune liste, elle fonctionne mais quand le premier élément est une chaîne vide elle renvoie la bonne liste mais ce premier élément reste (la liste n'est aps modifiée) :

ceci sera certainement plus clair :

(setq a '("" "b" "c" ""))
(arrange a) => ("b" "c")
a => ("" "b" "c")

Et la fonction arrange :

Code:

---

1 2 3 4 5 6 7

(defun arrange (liste) (setq L (length (car liste))) (cond ((atom liste) liste) ((> L 0) (rplacd liste (arrange (cdr liste)))) (t (arrange (cdr liste))) ) )

---

Merci d'avance.

Bonjour !

Si tu passes une liste de longeur positif à ta fonction, elle ne fait que changer sa cdr-partie, c'est-à-dire elle ne fait rien avec son premier élément.

En effet tu as défini une fonction destructive, qui change (= détruit, du point de vue de la programmation fonctionelle) son argument. On peut se servir de telles fonctions seulement quant'on n'ont plus besoin de l'argument. Mais regarde:

Code:

---

1 2 3 4 5 6 7

CL-USER> (defvar *a* '("asdf" "" "jkl")) *A* CL-USER> (let ((b *a*)) (arrange b)) ("asdf" "jkl") CL-USER> *a* ("asdf" "jkl")

---

Ainsi la valeur de *a* est-elle changé, ce qui est peut-être inattendu et indésirable. En effet, la variable b se rapporte à la même liste que *a*, pas à une copie de celle-ci.

Si tu veux une fonction pûre, tu peux écrire

Code:

---

1 2 3 4 5 6 7 8

(defun arrange (lst) (cond ((atom lst) lst) ((null lst) nil) (t (let ((head (first lst)) (tail (rest lst))) (if (equal head "") (arrange tail) (cons head (arrange tail)))))))

---

Fais attention qu'il n'y a aucune affectation, ce qui est caractéristique de la programmation fonctionelle. En Lisp on emploie l'affectation de temps en temps, mais pas souvent. En d'autres termes, on introduit souvent des « bindings », c'est-à-dire des nouveaux notations, mais on ne change les « bindings » existants qu'à contrecœur.

Mais celle implémentation-là n'est pas très efficace, car la récursion n'est pas terminale.

Naturellement, on peut aussi se servir d'une fonction standarde:

Code:

---

1 2	CL-USER> (remove "" '("" "asdf" "" "jkl") :test #'equal) ("asdf" "jkl")

---