type-driven
OfficialEncode invariants in types for safer software
Software Engineering#verification#discriminated-unions#typestate#static-typing#type-driven#refined-types
AuthorOutlineDriven
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Type-driven development helps prevent runtime bugs by encoding business invariants as types, so invalid states are unrepresentable and proofs live with code.
Core Features & Use Cases
- Encode invariants in types to prevent invalid values at compile time.
- Model domain workflows with typestate and discriminated unions for exhaustive handling.
- Use parse, don't validate patterns to preserve proof obligations across boundaries.
Quick Start
Provide a typed design for a core domain and ensure all cases are exhaustively handled by the compiler.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: type-driven Download link: https://github.com/OutlineDriven/odin-gemini-cli-extension/archive/main.zip#type-driven Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.