加载中...
主要用途在静态类型语言中设计类型、审查函数签名或编写代码时，通过类型系统使非法状态不可表示，并合理使用品牌类型等约束。
使用指南
安装前先阅读能力边界、适用场景与配置要求。
在静态类型语言中设计类型、审查函数签名或编写代码时，通过类型系统使非法状态不可表示，并合理使用品牌类型等约束。
适合需要“类型系统约束”能力的 Agent 工作流。原始 Skill 名称为 principle-type-system-discipline，发布者为 cursor/plugins。
在项目根目录执行：npx skills add https://github.com/cursor/plugins --skill principle-type-system-discipline。安装后请先阅读仓库内的完整 Skill 指令，再根据当前任务、权限范围和项目规范使用。
执行前检查命令、脚本、外部连接与凭据权限；生成或修改代码后，仍需运行项目自己的测试、类型检查和人工复核。
平台只展示已完成发布审核的内容，安装前仍建议检查权限和执行命令。
基于 README、SKILL、配置和站内资料形成五维参考结论。
3.6/ 5
类型系统约束：基于固定源码 b9ddc83c，结构规范证据最完整，场景适配仍可补强。当前材料未命中已知高风险规则。
类型系统约束：基于固定源码 b9ddc83c，结构规范证据最完整，场景适配仍可补强。当前材料未命中已知高风险规则。
当前纳入材料未命中已知高风险规则；未执行的运行时行为不在本结论内。
稳定可靠依据：提供故障处理信息、提供验证或测试方式；当前关注：说明前置条件或依赖、依赖或命令使用固定版本。
场景适配依据：说明目标用户或运行环境、说明输入信息；当前关注：明确用途或触发场景、说明输出或适用边界。
继续探索
结构规范依据：文档具有分层标题结构、声明版本或变更信息；当前关注：提供依赖或项目清单。
使用效果依据：包含可复用示例、提供验证或验收方法；当前关注：包含顺序明确的操作步骤、说明预期结果。
基于固定源码版本静态分析，不代表运行时绝对安全。
