Appel initial : Le premier appel de la fonction.

Exercices complémentaires :
a. Création d'une liste d'entiers qui contient les n premiers entiers > 0
Récursivité classique :
let rec create_first_n_strictly_positive_integers_list n =
match n=0 with
|true -> []
|_ -> n::create_first_n_strictly_positive_integers_list (n-1);;
val create_first_n_strictly_positive_integers : int -> int list =
create_first_n_strictly_positive_integers_list 6;;
- : int list = [6; 5; 4; 3; 2; 1]
Les entiers sont ordonnées par ordre décroissant. Si on désire les ordonner par ordre
croissant on utilisera l'opérateur de concaténation au lieu de l'opérateur d'insertion pour
construire la liste.
let rec create_first_n_strictly_positive_integers_list n =
match n=0 with
|true -> []
|_ -> create_first_n_strictly_positive_integers_list (n-1)@[n];;
val create_first_n_strictly_positive_integers : int -> int list =
create_first_n_strictly_positive_integers_list 6;;
- : int list = [1; 2; 3; 4; 5; 6]
Récursivité terminale :
let create_first_n_strictly_positive_integers_list n =
let rec auxiliaire accumulateur n =
match n=0 with
|true -> accumulateur
|_ -> auxiliaire (n::accumulateur) (n-1)
in
auxiliaire [] n;;
val create_first_n_strictly_positive_integers_list : int -> int list =
create_first_n_strictly_positive_integers_list 6;;
- : int list = [1; 2; 3; 4; 5; 6]