typescript-patterns

typescript-patterns part d'un principe directeur : pousser le systeme de types a faire un vrai travail au lieu de lutter contre lui, car le compilateur est le plus utile quand il peut prouver la forme d'un programme. C'est le "comment"; pour le "quoi" et le "quand" (les decisions sur quel modele choisir), il renvoie aux regles TypeScript du meme depot. Le mode strict est la base : strict true n'est pas optionnel dans une base de code saine, et si une base ne compile pas en strict, c'est une tache de migration, pas une excuse pour laisser le drapeau desactive, avec une configuration de base stricte et discriminante incluant noUncheckedIndexedAccess, exactOptionalPropertyTypes, noImplicitOverride et verbatimModuleSyntax. Any est traite comme un bogue, pas comme un outil : preferer unknown et le raffiner, avec un assouplissement explicite et un commentaire quand un repli est vraiment necessaire. Les API publiques recoivent des types explicites tandis que les variables locales recoivent de l'inference; les interfaces servent aux formes d'objets pouvant etre etendues ou implementees, les types aux unions, intersections, tuples, types mappes et types utilitaires; les unions discriminees sont la machine a etats par defaut, avec la verification exhaustive comme fonctionnalite gratuite du compilateur; les marques ajoutent une securite nominale la ou la structure ne suffit pas; les generiques modelisent les types dependant de l'appelant; et les fonctions avec plus de quelques reglages prennent un seul objet d'options. Les regles de raffinement et de surete d'execution couvrent la validation a la frontiere et la confiance a l'interieur, les predicats de type et les fonctions d'assertion, et readonly par defaut. La gestion d'erreurs couvre l'echec a la frontiere et le traitement au bord, les types Result pour les echecs attendus, et la preservation du contexte d'erreur avec cause. Les modeles asynchrones couvrent Promise.allSettled pour la diffusion independante, la concurrence bornee, et les delais et annulations avec AbortSignal. Il couvre aussi la discipline null et undefined, les petits modules nommes avec des surfaces publiques deliberees, l'evitement des barils surcharges et des imports circulaires, la separation selon la direction des dependances, le diagnostic avant l'ajout de dependances, la validation d'execution plutot que la confiance par type, la vitesse incrementale du compilateur, les types gratuits alors que les structures ne le sont pas, la memorisation des calculs idempotents, les tests de niveau type avec expectTypeOf et satisfies, et l'integration d'outils avec tsc, Vitest, typescript-eslint et Prettier. Antipatterns a eviter : any comme raccourci de vitesse, les casts mensongers, les rappels profondement imbriques, les bogues de coercition d'enum, les types dieux geants, les objets d'options entierement optionnels, les catch silencieux, et le melange des chemins d'erreur synchrones et asynchrones. Credit : cree par affaan-m, dans la collection ecc. Licence : le fichier vette n'indique aucune licence, donc elle est notee non indiquée. Source : https://github.com/affaan-m/ecc, fichier skills/typescript-patterns/SKILL.md.