·soundness-traps

À utiliser lorsque les types ne correspondent pas aux valeurs d'exécution. À utiliser lorsque TypeScript manque des erreurs. À utiliser pour comprendre les limites du système de types.

2Installations·0Tendance·@marius-townhouse

Installation

$npx skills add https://github.com/marius-townhouse/effective-typescript-skills --skill soundness-traps

SKILL.md

TypeScript is not sound - runtime values can diverge from static types.

"Soundness" means static types always match runtime values. TypeScript intentionally trades some soundness for convenience. Know the common traps.

This is unsound but convenient. Checking bounds at every access would be tedious.

À utiliser lorsque les types ne correspondent pas aux valeurs d'exécution. À utiliser lorsque TypeScript manque des erreurs. À utiliser pour comprendre les limites du système de types. Source : marius-townhouse/effective-typescript-skills.

Voir l'original

Faits (prêts à citer)

Champs et commandes stables pour les citations IA/recherche.

Commande d'installation
npx skills add https://github.com/marius-townhouse/effective-typescript-skills --skill soundness-traps
Catégorie
</>Développement
Vérifié
Première apparition
2026-02-05
Mis à jour
2026-02-18

Réponses rapides

Qu'est-ce que soundness-traps ?

À utiliser lorsque les types ne correspondent pas aux valeurs d'exécution. À utiliser lorsque TypeScript manque des erreurs. À utiliser pour comprendre les limites du système de types. Source : marius-townhouse/effective-typescript-skills.

Comment installer soundness-traps ?

Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/marius-townhouse/effective-typescript-skills --skill soundness-traps Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor

Où se trouve le dépôt source ?

https://github.com/marius-townhouse/effective-typescript-skills