Anotação de tipo
Anotação de tipo em uma função especifica um tipo necessário para argumentos de função, um tipo de necessário para os dados retornados ou um tipo obrigatório para ambos. Se você não digitar anotar os parâmetros de uma função, os parâmetros serão do tipo Object. Da mesma forma, se o tipo de retorno para uma função não for especificado, o compilador deduzirá que o tipo de retorno apropriado.
Usando a anotação de tipo
O uso de anotação de tipo para os parâmetros da função ajuda a garantir que uma função aceitará apenas os dados que ele possa processar. Declarar um tipo de retorno explicitamente para uma função melhora a legibilidade do código, desde o tipo de dados que a função retornará é imediatamente clara.
O exemplo a seguir ilustra o uso de anotações de tipo para os parâmetros e o tipo de retorno da função.
// 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));
A saída deste programa é:
42nd
1st
Seria gerado um erro de incompatibilidade de tipo, se um argumento foram passado para o Ordinal função que não pôde ser forçada a um número inteiro. Por exemplo, Ordinal(3.14159) poderia falhar.