Discussion :

[Amnael]

Bonjour,

pourriez vous m'aider à décrypter pourquoi l'interpréteur ne veut pas de ma fonction consEns?


Cette dernière fait appel à appartient qui marche parfaitement.

Code :

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

1
2
3
4
let rec appartient = fun e -> fun l ->
		match l with
		| [] -> false
		| x::l2 -> (x=e) || appartient e l2;;

Code :

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

1
2
3
4
let rec consEns = fun l ->
		match l with
		| [] -> []
		| x::l2 -> if not(appartient x l2) then x::(consEns l2);;

J'avoue que je ne comprends pas pourquoi cela ne fonctionne pas...la fonction est censé supprimer tous les doublons d'une liste.

[cvanaret]

Salut,

quand tu écris :

Code :

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

if condition then resultat

sans branche else, Caml complète avec :

Code :

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

else ()

Par conséquent, l'interpréteur attend resultat de type unit !

Edit : en programmation fonctionnelle, on ne peut pas "ne pas renvoyer de résultat". Dans ton cas, ça n'a pas de sens de ne rien renvoyer si x appartient à l2...

[Amnael]

Suis je bête...la prog à 8h du mat ne me réussis pas je crois

Oui ça parait évident maintenant, je fais tourner en récursif donc je dois forcement avoir un résultat à chaque itération du même type. Je n'ai qu'à renvoyer la liste inchangé.

Merci.