Lorsque l'ordre des paramètres pour un appel de fonction ne correspond pas à celui donné lors de la déclaration, il peut y avoir un problème :

let affiche_ligne_motif motif nb_colonnes =
  for colonne = 1 to nb_colonnes do
     print_string motif;
  done;
  print_newline();
  in

affiche_ligne_motif 15 "*";

File "test.ml", line 8, characters 20-22:
This expression has type int but is here used with type string

L'erreur se situe sur le 15, qui est un entier, et que l'on ne peut pas utiliser comme motif, puisque motif doit être de type string. Le compilateur a en effet déduit du print_string motif de ligne 3 que motif était de type string.

let affiche_ligne_motif motif nb_colonnes =
  for colonne = 1 to nb_colonnes do
     print_int motif;
  done;
  print_newline();
  in

affiche_ligne_motif "*" 15;

Pour le compilateur, il n'y a pas d'erreur dans la déclaration de la fonction : motif y est utilisée une seule fois dans un print_int, et donc motif est supposé être un entier. L'erreur va se situer lors des appels à la fonction :

File "test.ml", line 8, characters 20-23:
This expression has type string but is here used with type int

L'erreur se situe sur le "*" qui est de type string. Comme le compilateur a supposé que motif était de type int, il s'attendait à trouver un entier et non une chaîne.

On a vu des fonctions avec un ou plusieurs paramètres. Dans cette partie, on va s'intéresser aux fonctions qui n'ont aucun paramètre. La fonction effectue alors toujours le même traitement à chaque fois qu'elle est appelée. On a déjà un exemple de telle fonction : print_newline, qui affiche une nouvelle ligne à chaque fois qu'on l'appelle.

Lorsqu'une fonction n'a aucun paramètre :

• on place un couple de parenthèses () entre le nom de la fonction et le signe égal,
• pour réaliser un appel, on place aussi un couple de parenthèses ()
à la suite du nom de la fonction.

On comprendra plus tard pourquoi on met des parenthèses et non pas rien du tout. On résume les deux idées précédentes en disant que :

Lorsqu'il n'y a aucun paramètre à une fonction, on place un couple de parenthèses.

Voici l'exemple d'une fonction nommée separation qui affiche un retour à la ligne, puis un trait pointillé, puis un autre retour à la ligne :

let separation () =
  print_newline();
  print_string "- - - - -";
  print_newline();
  in

Voici un code qui utilise cette fonction :

let x = read_int() in
separation();
print_int x;
separation();
print_string "c'est fini !";
separation();

Il faut faire attention à l'oubli des parenthèses au niveau de la déclaration. Si on les oublie, on obtient une erreur lorsqu'on tente d'utiliser la fonction.

let print_separator =
  print_newline();
  print_string "-----------------------";
  print_newline();
  in

print_separator();

File "test.ml", line 7, characters 0-15:
This expression is not a function, it cannot be applied

L'erreur est située sur le nom print_separator, qui n'est pas une fonction.

Remarque : on ne comprendra que plus tard (lorsqu'on discutera des fonctions plus en détails) pourquoi il n'y a pas eu d'erreur au moment de la déclaration de print_separator, alors que l'oubli des parenthèses semble anormal ici.