9.1.2 函数的类型