一、动态类型
变量能够类型自证的类型即为动态类型
二、基础与内置类型
三、对象与类型的关系
1、对象本身能够自证为基本类型;
2、元原型可能为一个空的集合;
3、复合对象的成员能够自证为基本类型;
4、复合类型具有成员便利的基本功能;
四、复合类型对象的引用
五、成员的归属:原型or对象
有判断支持;
有包含支持;