Discussion :

[alix30002000]

Bonjour je dois faire cette fonction :

Ecrivez une fonction de profil
sans double : ’a list -> ’a list
qui, étant donné une liste, retourne la liste des valeurs présentes dans l’argument en supprimant les occurences multiples.
Exemple :
sans double [1 ; 2 ; 1 ; 3 ; 3 ; 1] ; ;
: - [2 ; 3 ; 1]

J'ai fait cela :

Code :

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

1
2
3
#let rec sans_double list = match list with
[]->[]
  |t::q->if t= then sans_double q else  t::sans_double q

Pouvez vous m'aider car je n'arrive pas à finaliser la fonction. Merci beaucoup

[Jedai]

Il y a plusieurs façon de faire cela plus efficacement, mais pour un début, commence par réfléchir à ce que veut dire "sans double". Cela signifie que dès que tu as rencontré un élément, tu veux le supprimer du reste la liste avant de recommencer le processus avec les éléments qui restent, non ? Ajoute à ça la fonction List.filter qui te permet de ne garder que les éléments de la liste qui correspondent à un certain critère...

--
Jedaï

[alix30002000]

Je n'ai jamais vu en cours List.filter

[InOCamlWeTrust]

Plus simplement : pour une liste t :: q, si t fait partie de la liste des valeurs déjà construite, alors il ne faut pas le mettre, sinon, il faut le mettre... facile, non ?

Tu auras besoin d'une fonction intermédiaire. La façon la plus simple est de procéder par accumulation.

[DavidDeharbe]

Une liste l est vide (la forme en est []) ou pas vide (la forme en est alors hd::tl).

Le résultat de sans_double peut être défini pour ces deux cas:

• liste vide (l = []): le résultat est la liste vide
• liste pas vide (l = hd::tl): suppose que tu as déjà calculé le résultat de (sans_double tl). Appelle tl' ce résultat: il n'y a, par hypothèse de récurrence, aucun doublon dans tl'. Il y a deux possibilités. La première est que hd est présent dans tl'; en ce cas le résultat est tl'. La seconde est que hd n'est pas présent dans tl'; et en ce cas, le résultat est hd::tl'.

Que manque-t-il maintenant pour construire ta solution? Une fonction qui teste si une valeur v est présente dans une liste l.

Tu peux appliquer un raisonnement similaire pour ce second problème.

• liste vide (l = []): Le résultat est "faux".
• liste pas vide (l = hd::tl): Si v est égal à hd, alors le résultat est "vrai". Sinon, v appartient à l si, et seulement si, v appartient à tl.

Je pense avoir détaillé, autant que possible, les éléments d'une solution possible à ton problème. J'espère que cela te sera utile!

David.
--

Bonjour je dois faire cette fonction :

Ecrivez une fonction de profil
sans double : ’a list -> ’a list
qui, étant donné une liste, retourne la liste des valeurs présentes dans l’argument en supprimant les occurences multiples.
Exemple :
sans double [1 ; 2 ; 1 ; 3 ; 3 ; 1] ; ;
: - [2 ; 3 ; 1]

J'ai fait cela :

Code :

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

1
2
3
#let rec sans_double list = match list with
[]->[]
  |t::q->if t= then sans_double q else  t::sans_double q

Pouvez vous m'aider car je n'arrive pas à finaliser la fonction. Merci beaucoup