Annotation de type
L'annotation de type spécifie un type requis pour les arguments d'une fonction et/ou un type requis pour les données retournées. En l'absence d'une annotation de type pour les paramètres d'une fonction, ceux-ci seront de type Object. De la même façon, si le type de retour n'est pas spécifié, le compilateur déduit le type de retour approprié.
Utilisation de l'annotation de type
L'utilisation de l'annotation de type pour les paramètres d'une fonction garantit qu'une fonction n'acceptera que les données qu'elle est en mesure de traiter. La déclaration d'un type de retour explicite pour une fonction améliore la lisibilité du code dans la mesure où le type de données retourné par la fonction est immédiatement connu.
L'exemple suivant illustre l'utilisation d'annotations de type pour les paramètres et les type de retour de la fonction.
// Declare a function that takes an int and returns a String.
function Ordinal(num : int) : String{
switch(num % 10) {
case 1: return num + "st";
case 2: return num + "nd";
case 3: return num + "rd";
default: return num + "th";
}
}
// Test the function.
print(Ordinal(42));
print(Ordinal(1));
Le résultat généré par ce programme est le suivant :
42nd
1st
Une erreur d'incompatibilité de type est générée si un argument qu'il est impossible de convertir en entier est passé à la fonction Ordinal. Par exemple, la fonction Ordinal(3.14159) échouerait.