函数式编程
函数的四种类型