Bonjour a tous,
je fais mes premiers pas en caml en ce moment et je me trouve confronter a un probleme de type que j´espère vous m´aiderez a résoudre. Mon code est disponible ici :
http://rafb.net/paste/results/vEF1uL93.html

A la ligne 14, la fonction somme est de type (´a -> int) -> ´a -> int -> int

A la ligne 20 la fonction somme "devient" de type (int -> int) -> int -> int -> int

Il semblerait que la ligne 18 contenant "somme tirerDe d n" fasse croire a l´interpreteur que pour somme ´a = int

Pourquoi ce comportement ? Pouvez vous m´eclairer ?
merci

Alors selon un copain qui assure en OCaml

a) De toute façon "il faut un Random.self_init(); au début pour seeder"

b) Plus grave, somme attends une fonction f de type (´a -> int) et tu lui passes une fonction (int * int) list -> int (enfin si mes maigres rudiments de OCaml sont correctes).

c) (je copie/colle)
anonyme: il doit falloir mettre
[19:10] anonyme: (tirer...ListCumul 0)
[19:10] anonyme: au lieu de de tirerlistCumul tout seul
[19:10] anonyme: (ça fait une application partielle, çá renvoie une fonction qui attend une liste
[19:10] anonyme: )

çá renvoie une fonction qui attend une liste

C´est exactement le but.
Je veux que tirerListCumul prenne une liste de couple d´entier en parametre

La ´solution´ a mon probleme est expliqué:
http://caml.inria.fr/pub/ml-archives/caml-list/1997/01/caea01f498bd5ac8a480481bd086b3a5.en.html

Je n´ai pas bien compris par contre pourquoi caml devait passé par un type statique. Si quelqu´un sait tenez moi au courant, ca m´interesse.

"C´est exactement le but. "
-> C´est pour ça qu´il te le propose.