一、函数的类型：
1、输入输出的映射形式；
2、定义了访问函数时的调用约定；cpu在访问函数是参量的布局形式；
3、相同函数类型的变量可以相互赋值；
函数作为类型是函数式编程的基石；
二、函数的变量：
定义函数类型－》定义变量－》给 变量赋值；
常见形式：
常指针变量：函数类型 ＝ 函数实现；
函数常变量进行定义的同时进行绑定；
普通变量：函数类型 ＝ ？
严格来说，函数的常指针变量，应该解释为函数类型结构中的函数地址变量为常指针；
常指针变量只能在定义时初始化，即函数变量和函数地址（定义）在定义时进行绑定；
三、函数的值：
1、函数字面量；匿名函数、block、块；
2、函数定义；
四、函数变量绑定或赋值：
1、常量绑定；
2、变量赋值；
五、函数变量的二阶构造：
函数作为结构类型，它的构造分为两个阶段：
1、内存指定（函数地址指定）；
2、成员变量赋值；
然后才能使用，否则为不完整构造；
六、多态访问：
解释绑定执行；
多态函数变量属于泛型函数变量：将缺省函数作为泛型参量；
因为具有函数和泛型参量双重可变性，所以访问时需要解释执行。
函数类型的访问被cpu解释为指令序列。
七、函数是指令：函数类型与数据类型
函数是一系列对数据进行访问和修改的指令，天然与数据具有耦合性；
八、函数类型理论的另一种解释
1、元类型：定义了从输入到输出的映射关系；实现了调用约定规范；
2、具体类型：在元类型的基础上绑定了函数定义的类型；
3、实例：在具体类型的基础上绑定了数据；
元类型可以定义变量；
具体类型可以作为变量的值；
实例可以作为指令访问；
九、函数的类型检查
1、将函数定义赋值给函数变量，需要检查映射关系是否匹配；
2、给具体函数进行参量赋值时，需要检查参量类型和定义类型是否匹配；
十、函数的错误
1、赋函错误；
2、赋参错误；
3、未定义错误；
4、符号冲突错误；