The skill
CRITICAL: Use for type-driven design. Triggers: type state, PhantomData, newtype, marker trait, builder pattern, make invalid states unrepresentable, compile-time validation, sealed trait, ZST, 类型状态, 新类型模式, 类型驱动设计
This skill's licence does not allow redistribution, so the store does not show its text. Read it at the source.
Use this skill
Connect your agent to the Skill Store MCP server and ask for it by ref: actionbook/m05-type-driven-86826960671.
Details
- Publisher
- actionbook
- Category
- Software Development › Languages & frameworks
- Updated
- 2026-08-23
References
More from actionbook
Coding Guidelines Use when asking about Rust code style or best practices.
Core Actionbook Internal support skill for actionbook MCP selectors used by Rust documentation research workflows.
Core Agent Browser Internal support skill for agent-browser CLI workflows used by rust-learner, docs-researcher, and…
Core Dynamic Skills Internal command support for dynamic Rust crate skill management.
Related skills
M04 Zero Cost CRITICAL: Use for generics, traits, zero-cost abstraction.
M09 Domain CRITICAL: Use for domain modeling.
Prototype 构建一次性原型来回答一个设计问题。适用于用户想验证某个 state model 或 logic 是否感觉对，或探索 UI 应该长什么样时。
Principle Type System Discipline Apply when designing types, reviewing a function signature, or writing code in any statically-typ…
M03 Mutability CRITICAL: Use for mutability issues.