类型推理 ความหมายคือ 类型推理