type 批注
函数中的类型批注指定函数参数的所需类型、返回数据的所需类型或者这两者的所需类型。 如果没有给出函数的参数的类型批注，则参数的类型将为 Object。 另外，如果没有指定函数的返回类型，则编译器将推断出适当的返回类型。
使用类型批注
使用函数参数的类型批注有助于确保函数只接受它能处理的数据。 显式地声明函数的返回类型可提高代码的可读性，因为函数返回的数据的类型一目了然。
下面的示例阐释函数参数和函数返回类型的类型批注的使用。
// 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));
该程序的输出为：
42nd
1st
如果将未能强制为整型的参数传递到 Ordinal 函数，就会产生类型不匹配错误。 例如，Ordinal(3.14159) 将失败。