类型与函数：函数是一种复合类型，它的构建依赖于数据类型