用途：该技能提供 TypeScript 高级类型系统方面的指导，目标是构建类型安全、可维护的代码，用于类型安全 API、复杂领域模型、可复用库、业务规则的类型层约束、类型安全状态机与构建器，以及需要高级类型的框架集成，并可用类型层面的保证配合运行时校验。
主要能力：涵盖条件类型、映射类型、模板字面量类型、类型守卫与类型收窄、判别联合与穷尽性检查、品牌类型（避免原始类型混用）、构建器模式、高级泛型、工具类型、类型推断、装饰器、性能最佳实践、常见陷阱与类型测试。提供按需加载的参考文件清单，例如 conditional-types.md、mapped-types.md、template-literal-types.md、type-guards.md、discriminated-unions.md、branded-types.md、builder-pattern.md、advanced-generics.md、utility-types.md、type-inference.md、decorators.md、performance-best-practices.md、common-pitfalls.md、testing-types.md。
使用方式：按实现工作流进行——识别模式需求，分析类型安全要求与编译期/运行期约束；加载对应参考文件，查看示例与权衡；实现时从简单开始，按需增加复杂度，启用严格模式（tsconfig.json 中 "strict": true），用类型断言测试；验证编译期错误、运行期行为与性能；为公开 API 添加 JSDoc 注释，记录类型约束与假设并给出用法示例。
适用场景与限制：适合需要类型安全契约、编译期业务规则约束、可复用类型推断库的项目。需避免用 any 代替 unknown、无校验的类型断言、过度泛型、过深类型嵌套、遗漏 readonly、未启用严格模式以及类型与接口混用不当。资料给出的资源包括 TypeScript Handbook、Type Challenges、ts-toolbelt、zod、tsd；未提供安装命令与具体收费、平台信息。