类型声明

声明变量和声明函数的参数时可以同时声明变量类型，函数参数如果不显示声明类型则默认是object类型

例如：

let a: string = "123"
var b: G1                          -- G1是某个record类型
let b: int | string | Person     --   Person是某个record类型，这种声明表示b是int或string或Person类型，也就是union类型
let c ?: int                       --  这种表示声明的变量c是int或nil类型的，相当于 int | nil的union类型

let function add(a: number, b: number, c ?: Array<number>)
    return a + b
end

声明类型时也可以声明函数类型，函数的签名类型语法是 (ArgTypeName1, … ) => RetTypeName

例如

let a: (int, int, int) => string

还可以将变量或者函数参数的类型声明为Function，表示这个变量/参数的类型是函数，能接受任何函数类型的值，不论参数数量，参数类型和返回值类型。 例如

let function add(a: number, b: number)
    return a + b
end
let add2: Function = add
let r = add2('123')    -- 这段代码编译期类型没问题，但是运行时会报类型错误