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.
僅公開檔案列表。將技能安裝到工作區後即可檢視檔案內容。
| 路徑 | 大小 | 類型 |
|---|---|---|
| SKILL.md | 4.8 KB | text/markdown |
來源與署名
來源：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 條規則的形式用於撰寫、審查與重構程式碼。