Exercice sur les listes

Bonjour

j'ai un petit souci on me demande de definir une fonction

Code:

---

etend_liste : 'a -> 'a list list -> 'a list list = <fun>

---

qui prend en entrée un element e et une liste de listes l et qui rajoute e en tete de chacune des listes de l.
par exemple :

Code:

---

1 2	#etend_listes 5 [[1;2];[6]];; -: int list list = [[5;1;2];[5;6]]

---

Donc voila, mon souci et je n'arrive pas a le résoudre pour l'instant j'ai fait ceci merci de m'aider

Code:

---

1 2 3

let etend_listes e = function []-> [e],[e] |(a::l)->let (l1,l2)=etend_listes e l in e::(a::l1),e::(a::l2);;

---

Bonjour,
merci d'utiliser les balises [code] (bouton # de l'éditeur) :

Code:

---

1 2 3

let etend_listes e = function []-> [e],[e] |(a::l)->let (l1,l2)=etend_listes e l in e::(a::l1),e::(a::l2);;

---

Alors, il a été dit que etend_listes avait le type 'a -> 'a list list -> 'a list list. Mais on voit, ligne 2, que tu retournes dans le cas trivial [e],[e] qui aura pour type 'a list * 'a list.

Commence par corriger cela et nous en reparlerons. Une autre chose encore : ça-ne-marche-pas n'est pas une remarque très constructive, merci de renseigner l'erreur de compilation afin de nous aider à t'aider.

Cdlt,

Bonsoir,

Après avoir tenu compte des remarques du message précédent, je te propose d'essayer d'écrire la fonction en entier, puis de voir s'il n'y a pas moyen d'utiliser une fonction déjà définie dans Caml (elles sont dans Caml Light et OCaml) pour te simplifier la tâche... et aussi pour te familiariser avec un concept phare de la programmation fonctionnelle. ;)

Je rejoins l'état d'esprit du message précédent : on t'apporte de valeur ajoutée si tu nous montres que tu essaies de ton côté. Le tout cuit, c'est contre-productif et pas dans l'esprit du forum.

Cordialement,
Cacophrène