函数的类型：函数也是类型 (*)->*
函数类型作为类型可以定义变量，使得函数变量具有可替代性，这个是高阶函数的编程基础。
使用函数的类型可以定义函数的变量，并用函数给这个变量赋值；
每一个函数的实现都是一个函数类型的具体实现。
类型系统分为两类：
1、函数类型；
2、变量类型；
