Principle Type System Discipline
backnotprop/pstack/skills/principle-type-system-discipline作者 backnotprop3a604672c46cd8187d2b19980eae0a34f9f91138无许可证1.3K 个星标收录于 2026年10月9日更新于 2026年10月9日仓库昨天更新
Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make illegal states unrepresentable, brand semantic primitives, parse external data at boundaries, refuse to lie to the compiler, exhaust variants, derive from authoritative schemas.
- 3a604672c46cd8187d2b19980eae0a34f9f91138当前提交 3a60467发布于 2026年10月9日
来源与署名
来源：backnotprop/pstack位于skills/principle-type-system-discipline提交3a60467
许可证： 无许可证
内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。
更多来自 backnotprop/pstack 的技能
Unslop
backnotprop
按照一份编号的检测与修改清单，编辑文本以去除 AI 写作痕迹。
Typescript Best Practices
backnotprop
TypeScript 编码规范，涵盖类型建模、类型收窄、校验与测试纪律。
Principle Test Behavior Not Implementation
backnotprop
一套编写测试的准则：断言可观察行为与字面期望值，而非实现细节。
Tdd
backnotprop
指导测试驱动的缺陷修复：先编写失败的回归测试，再做最小修复并重新运行测试。
Technical Writing
backnotprop
将分层技术写作标准应用于文档、RFC、readme、PR 描述和提交信息。
Teach
backnotprop
把一项工作讲清楚，结合 how 与 why 技能，形成一份通俗的讲解。
更多Software Development技能
Playground
anthropics
构建自包含的交互式 HTML 演练场，包含控件、实时预览和可复制的提示词输出。
M5 Onboard
anthropics
通过 USB 检测 M5Stack ESP32 开发板，刷写 UIFlow 2.0 固件并安装 MicroPython 应用包。
Cardputer Buddy
anthropics
指导迭代 Cardputer-Adv 的 MicroPython 应用包：添加应用、通过 USB 串口推送文件、查看日志并运行 REPL 命令。
Web Design Guidelines
vercel-labs
依据从远程来源获取的 Web Interface Guidelines 审查 UI 代码，并以 file:line 形式报告问题。
Vercel React Native Skills
vercel-labs
React Native 与 Expo 最佳实践规则，涵盖列表性能、动画、导航、UI 模式、状态与 monorepo 配置。
Vercel React Best Practices
vercel-labs
Vercel 的 React 与 Next.js 性能指南，以 70 条规则的形式用于编写、审查和重构代码。