高阶函数的定义、使用与语义