类型与类型检测