How do I install the 13eholder Modern Cpp Skills M05 Type Driven skill?

Run npx skillmds@latest add tomevault-io/13eholder-modern-cpp-skills-m05-type-driven in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

What does the 13eholder Modern Cpp Skills M05 Type Driven skill do?

C++ Type-Driven Design It is listed under Coding & Dev Tools on SkillMD.

Is 13eholder Modern Cpp Skills M05 Type Driven safe to use?

This skill has not completed SkillMD's automated safety review yet. Independent scanners report: SkillSpector: PASS, Skill Scanner: PASS. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with 13eholder Modern Cpp Skills M05 Type Driven?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is 13eholder Modern Cpp Skills M05 Type Driven free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published 13eholder Modern Cpp Skills M05 Type Driven?

tomevault-io (@tomevault-io) published this skill. Their other Agent Skills are listed on their SkillMD profile.

13eholder Modern Cpp Skills M05 Type Driven by tomevault-io

Name: 13eholder Modern Cpp Skills M05 Type Driven
Author: tomevault-io

File contents

C++ Type-Driven Design

Core Question

Can I make this bug a compile error?

Primitive Obsession: Using int for IDs, double for Money. Bad.
Strong Types: struct UserId, struct Money. Good.
Type State: Connection<OFF> vs Connection<ON>.

Error → Design Question

Issue	Design Question
Swapped arguments	Did you pass `width` to `height`? (Use Strong Types).
Invalid State	Did you call `read()` on closed file? (Use Type State).
Unit confusion	Did you mix Meters and Feet? (Use `std::chrono` style units).

Thinking Prompt

Is this int unique?
- Yes? → Wrap in struct.
- struct UserId { int val; }; prevents process(OrderId).
Does valid usage depend on order?
- Yes? → Encode state in type.
- Builder::port() returns BuilderWithPort.
Are units compatible?
- No? → Template tag. Dist<Meters> + Dist<Feet>.

Trace Up / Down

Trace Up:
- Issue: "Rocket crashed because of Metric vs Imperial confusion."
- Cause: double calculate_trajectory(double dist) accepted any number.
- Fix: Dist<Meters> calculate(Dist<Meters> d). Compilation fails if you pass Feet.
Trace Down:
- Intent: "Ensure file is open before reading."
- Code: File<Open> f = File<Closed>().open(); f.read();

Quick Reference

Pattern	Cost	Use When
Struct Wrapper	Zero	Distinct IDs, coordinates.
Enum Class	Zero	Type-safe flags (no implicit int conv).
Phantom Type	Zero	Tracking state without storage.
User Literal	Zero	`10_m`, `50_s`.

Converted and distributed by TomeVault — claim your Tome and manage your conversions.

---name: 13eholder-modern-cpp-skills-m05-type-drivendescription: C++ Type-Driven Design---# C++ Type-Driven Design## Core Question**Can I make this bug a compile error?**- **Primitive Obsession**: Using `int` for IDs, `double` for Money. Bad.- **Strong Types**: `struct UserId`, `struct Money`. Good.- **Type State**: `Connection<OFF>` vs `Connection<ON>`.## Error → Design Question| Issue | Design Question || --------------------- | ------------------------------------------------------------- || **Swapped arguments** | Did you pass `width` to `height`? (Use Strong Types). || **Invalid State** | Did you call `read()` on closed file? (Use Type State). || **Unit confusion** | Did you mix Meters and Feet? (Use `std::chrono` style units). |## Thinking Prompt1. **Is this `int` unique?** - Yes? → Wrap in `struct`. - `struct UserId { int val; };` prevents `process(OrderId)`.2. **Does valid usage depend on order?** - Yes? → Encode state in type. - `Builder::port()` returns `BuilderWithPort`.3. **Are units compatible?** - No? → Template tag. `Dist<Meters>` + `Dist<Feet>`.## Trace Up / Down- **Trace Up**: - *Issue*: "Rocket crashed because of Metric vs Imperial confusion." - *Cause*: `double calculate_trajectory(double dist)` accepted any number. - *Fix*: `Dist<Meters> calculate(Dist<Meters> d)`. Compilation fails if you pass Feet.- **Trace Down**: - *Intent*: "Ensure file is open before reading." - *Code*: `File<Open> f = File<Closed>().open(); f.read();`## Quick Reference| Pattern | Cost | Use When || ------------------ | ---- | --------------------------------------- || **Struct Wrapper** | Zero | Distinct IDs, coordinates. || **Enum Class** | Zero | Type-safe flags (no implicit int conv). || **Phantom Type** | Zero | Tracking state without storage. || **User Literal** | Zero | `10_m`, `50_s`. |---> Converted and distributed by [TomeVault](https://tomevault.io/claim/13eholder) — claim your Tome and manage your conversions.

Frequently asked questions

13eholder Modern Cpp Skills M05 Type Driven