ChatGPT 类型设计检查技能：找出不该存在的状态
EnglishChatGPT 安装步骤
- 从固定版本 GitHub 原文下载 skills/type-design-analyzer/SKILL.md。将它作为 type-design-analyzer 的独立文本技能，保留名称、描述及正文。
- 在已启用技能和上传权限的 ChatGPT 工作区，打开「插件 → 技能 → 创建 → 从电脑上传」，选用文件选择器接受的技能包格式。也可在「使用编辑器创建」中录入原名称、描述和文本指令。
- 完成扫描后，确认 type-design-analyzer 出现在已安装列表。在新对话输入 @ 并选择此技能，使用页面的虚构示例检查输出。
中文摘要
根据已提供的类型定义和领域规则检查字段关系，识别允许的无效组合并建议类型改写。用可核对例子说明类型层与运行时检查分别能覆盖什么。
SKILL.md 中文导读
可复现示例
虚构借阅记录有状态 `open` 和 `returned`，`returnedAt` 可选。规则是只有归还时有归还时间。请检查现有类型并给结构建议。工作步骤
- 提供类型片段和业务约束。
- 列当前定义允许的无效组合。
- 写类型替代结构及必要的运行时检查。
验收方法
指出可选字段允许 `returned` 缺时间或 `open` 带时间。建议按状态分支，说明编译期可约束字段关系，外部输入仍需验证。
GitHub 原文 · 更新日期
适用环境
需要有技能创建权限的合资格 ChatGPT 工作区，选择上传时还需相应权限。这份纯文本移植的安装路径按 OpenAI 文档核对，工作区运行待验证。
常见问题
所有业务规则都适合放进类型吗？
字段的互斥、存在性和有限状态适合编码进类型。时间先后和外部数据真实性常需运行时检查。