7.1.1 函数的类型应力求简单