Question simple avec do_list et map

Bonjour,

Je ne voix pas trop la différence de ces 2 fonctions, quelle est la différence des trois codes ci-dessous (f est une fonction quelconque)

Code:

---

1 2	let rec parcours f = function |Noeud(a,l)->f a;parcours f l;;

---

Code:

---

1 2	let rec parcours f = function |Noeud(a,l)->f a;do_list (parcours f) l;;

---

Code:

---

1 2	let rec parcours f = function |Noeud(a,l)->f a;map (parcours f) l;;

---

Merci

La première et les deux suivantes s'utilisent sur des types différents. Si le second paramètre du constructeur Noeud est une liste, la première fonction ne type pas.

Les deux fonctions suivantes ont le même effet mais pas pour la même raison, ne sont pas de même type, et à priori c'est celle avec do_list qui est correcte. do_list itère une fonction "qui ne renvoie rien" (de type de retour unit) sur une liste, en l'applicant à chaque élément à tour de rôle. "map" applique une fonction "qui renvoie quelque chose" (de type pas forcément unit) sur chaque élément d'une liste, et renvoie la liste des résultats. Si f est bien de type ('a -> unit), map f list va renvoie une "liste de rien" (unit list), un résultat qui n'a pas grand intérêt (à part indiquer la taille de la liste de départ). La fonction utilisant "map" serait donc de type ('a -> unit) -> arbre -> unit list, et sa valeur de retour serait relativement inutile.

Bref, c'est celle avec do_list qui est la mieux si le type de f est ('a -> unit), et sinon il faudrait écrire différemment (on voudrait plutôt un "fold").

Merci