传说的 类型 ~原型

 

看了下面，别傻眼：

 

类型可分为几个大类：

原始类型 
    这是最简单的类型种类，例如：整数和浮点数 
整数类型 
    全部是数字的类型，例如：整数和自然数 
浮点数类型 
    以浮点数表示数字的类型 
复合类型 
    由基本类型组合成的类型，例如：数组或记录单元。抽象数据类型具有复合类型和界面两种属性，这取决于你提及哪一个。 
子类型 
    派生类型 
对象类型 
    例如：变量类型 
不完全类型（哥傻眼了） 
    递归类型 
函数类型 
    例如：双参函数 
全称量化类型（哥不知所云） 
    如参数化类型、类型变量 
存在量化类型（哥看着天花板） 
    如模块 
精炼类型（哥看着窗外） 
    识别其它类型的子集的类型 
依存类型（哥去WC） 
    取决于运行时期的数值的类型 
所有权类型（哥去找小月月） 
    描述或约束面向对象系统结构的类型

 

 

感谢 xiaotie 加注释！