Anotaciones de tipo
Las anotaciones de tipo en una función especifican un tipo necesario para los argumentos de función, un tipo necesario para los datos devueltos o un tipo necesario para ambos. Si no realiza anotaciones de tipo para los parámetros de una función, los parámetros serán de tipo Object. Asimismo, si no se especifica el tipo de valor devuelto para una función, el compilador infiere el tipo que corresponda.
Usar anotaciones de tipo
Las anotaciones de tipo para parámetros de función sirven para asegurarse de que una función sólo aceptará datos que sea capaz de procesar. Al declarar de forma explícita un tipo de valor devuelto para una función se mejora la legibilidad del código, ya que el tipo de datos devuelto por la función se borra inmediatamente.
En el ejemplo siguiente se muestra el uso de anotaciones de tipo para los parámetros y el tipo de valor devuelto de la función.
// 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));
El resultado de este programa es:
42nd
1st
Si se pasara un argumento a la función Ordinal que no pudiera convertirse en un entero, se produciría un error de falta de coincidencia de tipos. Por ejemplo, Ordinal(3.14159) produciría un error.