Discussion :

[Fenchyr]

Bonsoir j'ai l’algorithme suivant et je doit en écrire une version non récursive néanmoins je débute sur Caml et malgré mes différents essais je n'y parviens pas pourriez vous m'aidez svp ?

Code :

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

1
2
3
let rec v n=match n with 
	|0->0
	|_->n-v(v(n-1));;

merci d'avance

[SpiceGuid]

Tu peux itérer de 0 à n et remplir un vecteur (de type int vect ou int array) avec les valeurs respectives de v.

[Fenchyr]

d'accord merci mais pour cela je vais devoir faire une sous fonction recursive non ?

[Fenchyr]

Code :

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

1
2
3
4
5
6
7
8
9
10
11
let v n=match n with
	|0->0
	|_->
	let valeurs = make_vect n 0 in
	for i = 0 to n do
		if valeurs.(i) > 0 
			then valeurs.(i)
		else
			let out= i - valeurs.(valeurs.(i-1)) in
				valeurs.(i)<- out;
					done;;

J'ai réaliser l'algorithme suivant mais il me dit que l'vant derniere ligne est de type unit mais est utiliser avec le type int que faire ? svp

[SpiceGuid]

if ... then ... else ... est une expression.
Les deux branches (vrai et faux) d'une expression if doivent avoir le même type.
Or ta branche vrai a le type int, c'est pourquoi Caml attend également le type int pour ta branche faux.

J'ai colorié en rouge les 2 principales différences :

Code :

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

1
2
3
4
5
6
let v n =
   let a = make_vect (n+1) 0 in
   for i = 1 to n do
      a.(i) <- i - a.(a.(i-1))
   done;
   a.(n);;

De façon générale il faut examiner les indices des accès aux vecteurs, noter les contraintes qui en découlent (pas d'accès en dehors des limites), et répercuter ces contraintes sur le code.
Ici nous avons :

• a.(n) qui impose que a possède n+1 éléments.
• a.(i-1) qui impose que i >=1.