trae 可基于需求描述和代码上下文生成精准高级类型：一、提供输入结构与语义契约；二、启用类型感知上下文增强；三、多行选中触发跨类型推导；四、实时验证安全性与可维护性。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
如果您在 TypeScript 项目中遇到嵌套泛型、条件推导、字符串解析或联合类型分发等复杂场景，却难以手动写出准确的高级类型，Trae 可基于您提供的需求描述和现有代码上下文，生成符合类型体操范式的精确类型定义。以下是具体操作路径：
一、提供清晰的输入结构与目标语义
AI 对类型体操的理解高度依赖您主动给出的“可计算契约”：包括原始字符串格式、数据流转阶段、字段约束（如是否允许多值、是否需递归展开）、以及期望输出的结构特征。缺少这些信息时，Trae 可能生成语法合法但语义错误的类型。
1、在编辑器中选中待建模的数据样本（例如 query string 字符串字面量 "a=1&b=2&a=3" 或接口片段 interface ApiResponse { data: string[]; meta: { count: number } }）。
2、右键调出 Trae 菜单，选择 “Generate Type from Sample” 或使用快捷键触发 AI 类型推导。
3、在弹出的输入框中补充自然语言说明，例如：“请为该 query string 构建一个递归解析类型 ParseQueryString，要求同名 key 的 value 合并为数组，其他 key 保持原值，不使用 any 或 unknown”。
二、启用类型感知上下文增强
Trae 在分析类型体操请求时，默认读取当前文件的全部 TypeScript 声明、已导入的工具类型（如 Omit、Pick、Extract）及项目级 .trae/rules/project_rules.md 中定义的类型规范。这使它能复用您已建立的类型基建，而非从零构造。
1、确认项目根目录存在 .trae/rules/project_rules.md，且其中包含类似内容：## 类型规范 - 禁止使用 type T = any；- 优先使用分布式条件类型处理联合类型；- 所有解析类型必须标注文档注释说明输入/输出行为。
2、在需要生成类型的 .ts 文件顶部，添加 JSDoc 注释明确输入输出契约：/** * 将路径字符串 /user/:id/profile 转换为参数对象类型 * @example "/user/:id/profile" → { id: string } */
3、将光标置于注释下方空行，调用 “Generate Type Definition” 功能，Trae 将结合注释语义与当前文件中已声明的 PathParam 类型自动补全完整实现。
三、使用多行上下文触发跨类型推导
当单个类型定义需联动多个已有类型（如从 API 响应类型反向推导请求参数类型），Trae 支持通过连续选中多行代码块激活“跨行智能修改”，从而识别类型依赖链并生成一致的体操逻辑。
1、在 .ts 文件中按住 Shift 键，纵向选中以下三行代码：
type ApiResponse = { data: User[]; error?: string };
type User = { id: string; name: string };
// TODO: 推导对应 GET /users 接口的 QueryParams 类型
2、右键选择 “Infer Related Types”，Trae 将分析 ApiResponse 与 User 的字段层级关系，输出类似 type UsersQueryParams = { page?: number; limit?: number; sort?: 'name' | 'id' } 的结果。
3、若推导结果未覆盖全部业务字段，可在生成代码后追加一行注释：// 补充支持 status 过滤，值为 'ACTIVE' | 'INACTIVE'，再次触发 Trae 自动扩展联合类型。
四、验证生成类型的安全性与可维护性
Trae 内置 TypeScript 编译器 API 实时校验能力，可在生成后立即检查类型是否满足图灵完备性约束（如递归深度限制、条件分支穷尽性）、是否引入隐式 any、以及是否与项目已有类型产生冲突。该验证结果直接影响代码补全可信度。
1、将光标置于 Trae 生成的类型定义首行，按下快捷键调出 “Validate Type Safety” 面板。
2、查看面板中列出的三项核心指标：✅ 无隐式 any；✅ 递归调用深度 ≤ 12；✅ 所有分支均被条件类型覆盖。
3、点击 “Show Diagnostic Trace” 查看编译器逐层推导日志，确认 Exclude
