web类型推断