类型检查 ความหมายคือ 类型检查