Appel initial : Le premier appel de la fonction.

Exemple complémentaire:
Fonction affiche_int qui affiche les n premiers entiers > 0 sur une ligne puis passe à la ligne.
Récursivité classique
let affiche_int n =
let rec affiche n =
if n=0 then []
else print_int n::affiche (n-1)
in
print_newline ()::affiche n;;
val affiche_int : int -> unit list =
affiche_int 4;;
1234
- : unit = ()
Remarquez l'ordre dans lequel les entiers sont affichés. Le premier affichage est réalisé quand on a
rencontré le cas simple. Le premier entier affiché sera donc 1.
Récursivité terminale
let affiche_int n =
let rec affiche acc u n =
if acc>n then print_newline ()
else affiche (acc+1) (print_int acc) n
in
affiche 1 () n;;
val affiche_int : int -> unit list =
affiche_int 4;;
1234
- : unit = ()
L'accumulateur n'est pas utilisé. On peut aussi écrire :
let rec affiche_int n =
if n=0 then print_newline ()
else
begin
print_int n;affiche_int (n-1)
end;;
affiche_int 4;;
4321
- : unit = ()