数据类型和类型检查