类型

从名称、对象和函数进入类型擦除、收窄、结构兼容、判别联合和外部数据校验。