Répéter exactement la même chose ne sert en fait pas très souvent. On a plutôt besoin de répéter presque la même chose, mais pour un paramètre différent à chaque fois. En voici un exemple.

print_int 5;
print_newline();
print_int 6;
print_newline();
print_int 7;

On a 3 fois le même code, avec juste un entier qui change. Réécrivons cela en trois blocs, en montrant bien qu'il n'y a qu'un entier qui change, et que c'est toujours au même endroit.

begin
  let i = 5 in
  print_int i;
  print_newline();
end;
begin
  let i = 6 in
  print_int i;
  print_newline();
end;
begin
  let i = 7 in
  print_int i;
  print_newline();
end;

La boucle for, dans son cadre général, permet exactement de condenser ce type de code. Voici la structure, avec les traductions suivantes : for = pour, to = jusqu'à, do = faire, done = fini.

for i = (...i la première fois...) to (...i la dernière fois...) do
  (...corps de la boucle for...)
done;

Vocabulaire : la lettre i s'appelle le compteur. La valeur de ce compteur lors de la première fois est la "valeur initiale", et la dernière fois, c'est la "valeur finale". On dit que l'on effectue une "itération" sur les valeurs de i.

Résumons :

for compteur = valeur_initiale to valeur_finale do
  (...corps de la boucle for...)
done;

Pour chaque valeur entière du compteur i comprise entre les deux bornes données (incluses) et dans l'ordre croissant, copier le bloc du for, et y déclarer le nom i comme étant associé à cette valeur.

Remarque : les boucles for fonctionnent uniquement pour des entiers relatifs (c'est-à-dire positifs ou négatifs), et rien d'autre. N'essayez pas de faire prendre des valeurs réelles ou des lettres au compteur, ça ne peut pas marcher.

On peut condenser le code d'avant :

for i = 5 to 7 do
  print_int i;
  print_newline();
done;

Remarque : dans toutes les boucles for, on a utilisé le nom i comme nom du compteur. On pourrait utiliser n'importe quel autre nom. Et il est même fortement recommandé d'utiliser un autre nom s'il en existe un plus adapté. Nous verrons des exemples dans les exercices qui suivent.