6.1.8　函数类型

在这一节的学习中，我们编写过的每个函数其实都有自己的类型，称之为函数类型。函数类型是由函数的传入参数和返回值来决定的，比如动手写6.1.9中的阶乘函数，它接受一个整数作为参数输入，一个整数作为结果输出。这个函数的类型可以表示为“（Int） -> （Int）”，函数的传入参数在类型表示的左边，并且被列在左边的圆括号内，而函数的返回类型则在右边，并且被列在右边的圆括号内；如果是没有参数传入和返回值的函数，其类型就是“（） -> （）”，其余的函数类型读者可以尝试自己推导。函数类型很有用，因为函数本身也能作为参数和返回值，那么在定义这些参数和返回值的时候，就需要指定函数的类型。在下一节的闭包学习中，我们就会学习到了。