bonjour,

je dois ecrire une fonction "est_en_vente" de type int->bool qui à un article représenté par son code associe vrai ou faux selon que l´article est ou non dans la liste , dans une liste du type [(code,nom,prix) ; (code2,nom2,prix2) ; (... , ... , ...) ]

ça donne

let liste_article = [(1,"crayon",5);(2,"stylo", 10)];;
val liste_article : (int * string * int) list = [1, "crayon", 5; 2, "stylo", 10]

let rec est_en_vente liste produit = match liste with
|[] -> false
|(m, m´,m´´)::x-> if m = produit then true else est_en_vente x produit;;
val est_en_vente : (´a * ´b * ´c) list -> ´a -> bool = <fun>

je teste :

est_en_vente liste_article 1;;
- : bool = true
est_en_vente liste_article 5;;
- : bool = false

ca marche mais le probleme est le type de ma fonction qui n´est pas int-> bool mais (´a * ´b * ´c) list -> ´a -> bool = <fun> ..

comment avoir ce type ?

bon ben jai eu le temps de trouver la solution lol

let liste_article = [(1,"crayon",5);(2,"stylo", 10)];;
let est_en_vente produit =
let rec est_en_vente_aux = function
| [] -> false
| (m, m´,m´´)::x-> if m = produit then true else est_en_vente_aux x
in est_en_vente_aux liste_article ;;

par contre comment modifie-t-on que certains elements d´une liste et on renvoie la meme modifiée ?

par contre comment modifie-t-on en général que certains elements d´une liste et on renvoie la meme modifiée ?
je sais pas, par exemple ajouté 10 aux elements b d´une liste [(x,b);(y,b´);(z,b´´)]...
je pensais à

let modif x= function
| []->[]
|(m,m´) ->(m, m´+x);;

mais bon ...
merci d´avance pour votre aide.

pour ta première question j´aurais tendance à dire que ce n´est pas grave s´il te dit que le type est (´a * ´b * ´c) list -> ´a -> bool = <fun> au lieu de ce que tu attend. a veut juste dire que c´est plus générale.

Pour ta deuxième question, la seule "bonne" manière de faire (c´est à dire sans passer par une liste de mutable) c´est :

let rec modif x = function
[] -> []
|(a,b)::s -> (a,b+x)::(modif x s);;

Et tu ne peut pas savoir s´il modifie la liste qui existait déjà ou s´il en cré une nouvelle. Mais la force du Caml c´est de ne pas avoir à se soucier de ça : si ton programme est vraiment écrit en fonctionnel tu n´a pas besoin de modifier la liste que tu avait avant, le retour de la fonction te suffit. Bien sur, parfois il faut penser longtemps à comment écrire son programme pour qu´on puisse le faire dans ce sens. Mais même si c´est pas toujours le plus efficaces, c´est le plus esthétique le plus souvent.

merci