Discussion :

[cladsam]

Bonjour,

j'essaie de faire un exercice "simple" de cours et je n'y parviens pas.
Le but est d'utiliser le filtrage de motifs pour créer une fonction f qui prend 2 paramètres, un liste d'int et un int et renvoit la même liste privée du 2 ème paramètre :

ex : f [2,3,4,7] 4 -> [2,3,7]

j'ai donc pensé après moultes essais à ceci :

Code ocaml :

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

1
2
3
4
5
 
let rec f l x = match l with
           [] -> []
          |[x]::q -> f q x
          |[a]::r  -> [a]:: f r x;;

Ca ne marche pas.
Je ne comprends pas pourquoi il a du mal a digérer cela et ce que je voudrais c'est que l'on m'explique mon erreur de raisonnement (SVP ne me donnez PAS la solution, je veux juste comprendre).

Merci de votre aide précieuse

[InOCamlWeTrust]

C'est une erreur très classique : le filtrage n'est pas un filtrage de valeurs, mais un filtrage de motifs.

Lorsque tu écris...

Code :

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

1
2
 
          |[x]::q -> f q x

... x est un motif, ici le premier élément de la liste paramètre, et il n'est en aucun cas comparé à la valeur de ton deuxième argument, x. Pour celà, tu peux écrire :

Code :

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

1
2
3
4
5
 
let rec f l x = match l with
    | [] -> []
    | tete :: queue when tete = x -> queue
    | tete :: queue -> tete :: (f queue x)

Autre chose : si on ne travaille pas sous la boucle d'intéraction, les ;; sont obsolètes... et il vaudrait mieux les éviter dans les fichiers source.

[InOCamlWeTrust]

Code ocaml :

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

1
2
3
4
5
 
let rec f l x = match l with
           [] -> []
          |[x]::q -> f q x
          |[a]::r  -> [a]:: f r x;;

Il y a aussi une chose que tu n'a pas comprise : une liste, par exemple [ 1; 2; 3; 4 ], peut s'écrire de façon classique, mais aussi comme ceci 1 :: 2 :: 3 :: 4 :: [], ou encore 1 :: [ 2; 3; 4 ], ou 1 :: 2 :: [ 3; 4 ], etc... et ça se filtre donc de cette façon-là.

L'opérateur :: prend comme argument gauche un élément et comme argument droit une liste : 1 :: 2 :: [ 3; 4 ] est donc 1 :: (2 :: [ 3; 4 ]). En syntaxe révisée, on écrirait celà de façon un peu différente, certes pratique parce qu'elle n'introduit aucune ambigüité, mais mieux vaut ne pas en faire usage, du moins au début.

[cladsam]

Merci de ton aide, le code suivant fonctionne mais je ne le comprends pas pour autant.

Code :

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

1
2
3
4
5
 
let rec f l x = match l with
    | [] -> []
    | tete :: queue when tete = x -> queue
    | tete :: queue -> tete :: (f queue x)

je comprends la dernière ligne, je crois comprendre ce qui se passe dans la 2eme mais ce qui me parait bizarre c'est que l'on écrive :

Code :

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

 x -> queue la ou je voyais x -> f queue x

???

[Patriarch24]

En effet, la fonction donnée par InOCamlWeTrust ne supprime pas tous les éléments mais seulement le premier qu'il trouve. Pour régler ça, il faut faire un appel à f :

Code :

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

1
2
3
4
5
 
let rec f l x = match l with
    | [] -> []
    | tete :: queue when tete = x -> f queue x
    | tete :: queue -> tete :: (f queue x)

On peut mieux faire, mais ça devrait fonctionner.

[cladsam]

ok je viens de comprendre
Super maintenant je vais pouvoir m'exercer en cherchant d'autres trucs à résoudre .
merci