Discussion :

[lucadje]

Voici mon code ,il n'a pas vraiment de sens je le reconnais.

Code :

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

1
2
3
let rec f x = 
  if x=0 then []
  else  ""::(f x/2);;

Voici le message d'erreur

Code :

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

1
2
3
4
5
6
 
>  else  ""::(f x/2);;
>               ^^^^
 
cette expression est de type int 
mais elle est utilisée avec le type string list

J'avoue que je ne comprend pas ce qui permet dans le code, d'affirmer que la fonction f est de type int

Merci d'avance pour vos réponses

[prgasp77]

Bonjour,

c'est un simple problème d’associativité. Pour OCaml, f x/2 est équivalent à (f x)/2. Pour le reste aucun soucis, l'appel de fonction est bien prioritaire sur le Cons (::) qui lui même est prioritaire sur le if then else.

Cdlt,