Des types stricts pour les changements d’un agent de code
La forme des données et le comportement du logiciel ne se vérifient pas de la même façon.
Ce qui peut être détecté
Un agent peut utiliser une propriété mal orthographiée ou un argument incompatible. Des types précis rendent ces erreurs visibles. Any, des déclarations inexactes et des données externes non validées réduisent cette protection. Un nombre correctement typé peut toujours être un mauvais total de facture. Gardez les tests de comportement et la revue des paiements, permissions et données persistantes.
TypeScript
Ajoutez strict: true dans compilerOptions du tsconfig.json existant, sans supprimer les autres options. La famille comprend noImplicitAny et strictNullChecks; certaines options peuvent être remplacées individuellement. Exécutez tsc --noEmit depuis le projet avec la version convenue. Fournir directement des noms de fichiers change l’utilisation de la configuration. Un résultat vert concerne le programme réellement inclus, pas automatiquement tout le dépôt.
Python
Les annotations doivent décrire les vrais paramètres et résultats. Si None est possible, indiquez-le et traitez ce cas. Lancez mypy --strict sur le dossier voulu. La collection de contrôles dépend de la version et les imports peuvent élargir la portée. Les annotations ne valident pas automatiquement un JSON reçu : contrôlez schéma et valeurs aux frontières externes.
La boucle de travail
Après une modification, l’agent lance commande et tests, lit les erreurs, corrige leur cause puis recommence. Il ne doit pas supprimer les tests ni affaiblir la configuration pour obtenir un succès. Un ignore, cast ou any non expliqué exige une revue. Les journaux CI doivent montrer commande, version et résultat. Pour une adoption progressive, commencez par un périmètre défini, conservez les contrôles existants et signalez les fichiers non couverts. Inspectez séparément tout changement des règles. Un essai simple consiste à passer un nombre à un paramètre str, confirmer que la commande le détecte, puis corriger et relancer les tests. Ce test illustre la portée réelle, sans prouver toute la logique métier.
Sources
- https://wurk.fun/blog/turn-on-strict-type-checks-so-your-coding-agent-s-mistakes-fail-early
- https://www.typescriptlang.org/tsconfig/#strict
- https://www.typescriptlang.org/docs/handbook/compiler-options.html
- https://mypy.readthedocs.io/en/stable/command_line.html
- https://wurk.fun/blog/add-a-ci-check-so-your-coding-agent-can-t-merge-broken-code