"类型安全"