zzfx

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