Principle Type System Discipline
backnotprop/pstack/skills/principle-type-system-disciplineby backnotprop3a604672c46cd8187d2b19980eae0a34f9f91138No license1.3K starsListed Oct 9, 2026Updated Oct 9, 2026Repository updated yesterday
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.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| SKILL.md | 4.8 KB | text/markdown |
Source and attribution
Source:backnotprop/pstackinskills/principle-type-system-disciplineat commit3a60467
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from backnotprop/pstack
Unslop
backnotprop
Edits text to remove AI writing tells, following a numbered list of patterns to detect and fix.
Typescript Best Practices
backnotprop
TypeScript coding rules covering type modeling, narrowing, validation and testing discipline.
Principle Test Behavior Not Implementation
backnotprop
A guideline for writing tests that assert observable behavior with literal expected values instead of implementation details.
Tdd
backnotprop
Guides a test-driven bug fix: write a failing regression test first, then make the smallest fix and rerun it.
Technical Writing
backnotprop
Applies a layered technical-writing standard to docs, RFCs, readmes, PR descriptions, and commit messages.
Teach
backnotprop
Explains a body of work plainly, combining how and why skills into one teaching explanation.
More in Software Development
Playground
anthropics
Builds self-contained interactive HTML playgrounds with controls, live preview, and copyable prompt output.
M5 Onboard
anthropics
Provisions M5Stack ESP32 boards by detecting them on USB, flashing UIFlow 2.0 firmware, and installing a MicroPython app bundle.
Cardputer Buddy
anthropics
Guides iterating on a Cardputer-Adv MicroPython app bundle: adding apps, pushing files over USB-serial, tailing logs, and running REPL commands.
Web Design Guidelines
vercel-labs
Reviews UI code against Web Interface Guidelines fetched from a remote source and reports findings as file:line entries.
Vercel React Native Skills
vercel-labs
React Native and Expo best-practice rules covering list performance, animation, navigation, UI patterns, state, and monorepo setup.
Vercel React Best Practices
vercel-labs
Vercel's React and Next.js performance guidelines, organized as 70 rules for writing, reviewing, and refactoring code.