标签:类型推断