listes caml probleme

bonjour a tous:
voici mon probleme: comment écrire une fonction qui prenne une liste en argument et qui renvoie le nombre d'écart consécutifs entre deux nombres de la liste égal à deux (en partant du premier):
exemple fonction [2;3;5;7] renvoie 0
fonction [2] renvoie 0
fonction [2;4;6;7] renvoie 2

voici mon programme:

Code:

---

1 2 3 4 5

#let rec fonction_phi l = let i=ref 0 in match l with |[a]->0 |[]->0 |[a;b]-> if b-a=2 then !i+1 else !i |a::b::reste-> if b-a<>2 then !i else i:=!i+1;fonction_phi b::reste;!i;;

---

mais il ne marche pas!
merci d'avance

Tu devrais éviter d'utiliser une variable lorsque tu programmes avec un langage fonctionnel. Voici une variante (en F#) de ton programme:

Code:

---

1 2 3 4 5 6 7 8

> let phi xs = let rec _phi xs acc = match xs with | [] -> acc | [x] -> acc | x1::x2::xs -> _phi (x2::xs) (if abs(x1 - x2) = 2 then acc + 1 else acc) _phi xs 0;;

---

Et sinon :tagcode:

merci, mais que veut dire acc? apres avoir enlevé le tiret de _phi que caml ne voulait pas, on me renvoie ca..

Code:

---

1 2 3 4 5

Toplevel input: > phi xs 0;; > ^^^ This expression has type int list -> int -> 'a -> 'b, but is used with type 'a.

---

acc c'est pour accumulateur. C'est lui est incrémenté à chaque fois que deux nombres successifs de ta liste ont un écart de 2 et c'est lui qui est renvoyé lorsque la condition de sortie est remplie.

Dim Me As New Idiot > je trouve assez moyen de balancer à un débutant un programme qui ressemble à ce qu'il connaît, mais dont la syntaxe subtilement différente fait qu'il n'arrivera pas à s'en servir.

Code:

---

1 2 3 4 5 6 7 8

let phi xs = let rec phi' xs acc = match xs with | [] -> acc | [x] -> acc | x1::x2::xs -> phi' (x2::xs) (if abs(x1 - x2) = 2 then acc + 1 else acc) in phi' xs 0;;

---

Remarque : la fonction interne peut être nommé phi plutôt que phi', il n'y a aucune possibité de conflit puisque le premier phi n'étant pas récursif, il "n'existe pas" dans le corps de sa déclaration (donc tous les "phi" avant le ";;" font référence au phi local où, s'il n'y en a pas, à une autre variable phi déclarée précédemment). J'ai choisi de distinguer pour éviter les confusions.

bluestorm > Tu as raison, ma démarche était maladroite mais je voulais éviter de donner une réponse toute faite alors qu'il s'agissait visiblement d'un exercice.