定义
函数类型由参数类型和函数的返回组成。
这两个函数的类型是：（Int,Int）->Int
这个函数的类型是：（)->Void
函数类型变量
函数类型和其他的数据类型没有区别。你可以以用函数类型来定义常量或者变量。函数名其实函数类型的一个实例。因此可以把函数名进行赋值操作。
注意：使用函数类型变量不需要输入标签名。同时这也给输入带来了一定的风险。
函数类型作为参数
函数类型作为参数，这使得在函数内部可以进行外部函数的调用。
函数也可以作为返回值。
嵌套函数
嵌套函数即在函数内部再继续定义函数，不但可以在函数内部使用，还可以在外部使用（淡然需要把嵌套函数传递出去）。
注意：函数类型变量类型的赋值只需要把函数的名字赋值即可。