Synaptic SkillsSynapticSkills
MarketplaceSkill GraphCriar SkillMCP ServerPlataformaEnterprise
v0.1.0-beta
Voltar ao Marketplace
DevelopmentMédio

Type-Driven Design

poractionbook·actionbook· v1.0.0 · atualizado em 2026-04-11
83
Score

CRITICAL: Use for type-driven design. This skill is triggered by concepts like type state, PhantomData, newtype, marker trait, builder pattern, making invalid states unrepresentable, compile-time validation, sealed trait, and ZST. It is useful for implementing type-driven design patterns.

type-driven-designtype-safetyrustnewtype-patterntype-state-patternphantom-datamarker-trait
Linguagens
Rust
0Stars
0Forks
0Usos
Fork

Documento do Skill

SKILL.mdm05-type-driven/workflow
1. Identify areas with potential runtime errors or invalid states.
2. Define the domain model and valid state transitions.
3. Choose appropriate type-driven design patterns (newtype, type state, etc.).
4. Implement the chosen patterns in the codebase.
5. Remove runtime validation checks that are now handled by the type system.
6. Test the code to ensure that invalid states are no longer representable.
7. Document the type-level invariants and constraints.

Telemetria de Agentes

Execuções
0
total
Taxa de Sucesso
0%
últimos 30d
Latência Média
0.0s
p50
Alucinação
0.0%
detecção
Tokens Entrada
0
avg 0/exec
Tokens Saída
0
avg 0/exec

Uso por Plataforma

Skills Relacionados

Compõe comZero-Cost Abstraction
70%
Hebbian Synapse
Composite0.700
w = 0.3·α + 0.5·β + 0.2·γ
82
Compõe comError Handling
70%
Hebbian Synapse
Composite0.700
w = 0.3·α + 0.5·β + 0.2·γ
79
Compõe com ←Domain Modeling
70%
Hebbian Synapse
Composite0.700
w = 0.3·α + 0.5·β + 0.2·γ
80
Similar aPerformance Optimization
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83
Similar aKnitwork Processing
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
78
Similar aConcurrency
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83

Árvore do Skill

Type-Driven Design
m05-type-driven
Fases Cognitivas6
1.SENSE
2.CONTEXTUALIZE
3.HYPOTHESIZE
4.RECOMMEND
5.ACT
6.REFLECT
Triggers8
use type-driven designprevent invalid states with typesimplement the newtype patternuse type states for state machinesapply compile-time validationmake invalid states unrepresentableencode invariants in the type systemuse phantom data for lifetime markers

Avaliar este Skill

Score Breakdown

⭐Avaliação Humana0%
🤖Sucesso de Agentes0%
🕐Atualidade100%
🔗Saúde de Dependências100%
🕸️Centralidade no Grafo0%
🛡️Segurança50%
CompositeScore = α·Humano + β·Agente + γ·Recência + δ·Deps + ε·Centralidade + ζ·Segurança

Instalação

$ synaptic mcp download m05-type-driven
$ synaptic skills detail m05-type-driven
$ synaptic skills live m05-type-driven

Links

GitHub Repository