ADT
数据类型分为基本数据类型和对象数据类型。基本数据类型只有值而无id，且不可改变，在栈中分配·内存，代价低。对象数据类型有值有id，有的可以改变，在堆中分配内存代价昂贵。
检测分为两种一种是静态检测，另一种是动态检测。静态检测发生在编译阶段，动态检测发生在运行阶段。静态检测主要检测内容有语法错误、类名错误、参数数目错误返回值类型错误等。动态检测有非法参数值错误参数类型错误、越界错误、空指针错误等。
final：final类无法派生子类，final变量无法改变引用值，final方法无法被子类重写。
imumutable类型：