Les boucles for
permettent de condenser du code qui se répète, à condition que les expressions répétées soient placées les unes à la suite des autres et ne différèrent que par la valeur d'un entier (le compteur). Voici un cas où une boucle for
ne nous permet pas de condenser le code :
for colonne = 1 to 10 do print_string "X"; done; for colonne = 1 to 10 do print_string "#"; done;
Pourtant, trois lignes sont répétées deux fois dans ce code, à une seule différence près, à savoir ce qui est placé juste après le print_string
.
Pour mettre en commun tout le code qui est répété, on va utiliser une fonction. Le concept de fonction est extrêmement puissant et fondamental en programmation, et c'est pourquoi on va y consacrer tout le chapitre.
Une fonction ("function" en anglais), c'est comme un robot. Lorsqu'on met en marche un robot dans un certain environnement, il effectue les tâches pour lesquelles il a été programmé, et puis il s'éteint lorsqu'il a fini son travail. Une fonction, c'est un robot qui fonctionne de la manière suivante :
Prenons des exemples de la vie courante.
1) Un robot qui fait le ménage va :
2) Un robot qui choisit un disque au hasard dans le placard va :
3) Un robot chargé de trouver tous les fichiers contenant un mot donné va :
On n'aura pas besoin de robots qui retournent plusieurs objets. En effet, il est toujours possible de retourner une liste d'objets, et cette liste compte alors pour un seul objet. Dans l'exemple 3, si on considère que le robot retourne une liste de noms de fichier, alors il ne retourne qu'un seul objet. Tous nos robots retourneront donc zéro ou un seul objet. Note : on verra plus tard comment gérer des listes d'objets.
Avant de pouvoir utiliser une fonction, il faut d'abord la déclarer, c'est-à-dire donner les plans de fabrication du robot associé. Pour cela, il faut :
Une fois la fonction créée, on pourra l'appeler autant de fois que l'on voudra. Pour cela :
Par exemple, si la fonction s'appelle mafonction
et que l'on veut l'appeler avec pour arguments l'entier 2
et le texte "ici"
, on écrira pour appeler la fonction :
mafonction 2 "ici"
Deux cas se présentent alors.
1) Si la fonction ne retourne pas d'objet, l'appel à la fonction est considéré comme une instruction, et on la terminera par un point-virgule :
mafonction 2 "ici";
2) Si la fonction retourne un objet, on peut nommer cet objet avec un let
:
let x = mafonction 2 "ici" in
Ou bien on peut utiliser directement cet objet. Par exemple si l'objet retourné par mafonction
est un entier, on pourra faire :
print_int (mafonction 2 "ici");