函数参数

输入输出

函数作为另一个函数的参数

函数类型的解析

函数类型作为函数的返回类型

函数可以拥有多个返回值

函数嵌套函数

Q.E.D.