Строгие типы для изменений кодового агента

Граница полезности

Агент может написать аккуратный код с неверным именем свойства или аргументом. Строгая проверка способна обнаружить такие ошибки, если видит достаточно точные типы. Значения any, ошибочные объявления и непроверенные внешние данные ослабляют результат. Число может иметь правильный тип и неправильную сумму счета. Проверки прав, платежей и сохраненных данных требуют отдельного анализа поведения.

TypeScript

Добавьте strict: true в существующий compilerOptions файла tsconfig.json, не стирая остальные настройки. Семейство strict включает noImplicitAny и strictNullChecks; отдельные параметры могут быть переопределены. Запускайте tsc --noEmit из проекта с согласованной версией компилятора. Передача имен файлов напрямую меняет выбор конфигурации. Успешный результат относится к реально включенной программе, а не автоматически ко всем файлам репозитория.

Python

Добавьте аннотации, соответствующие настоящим входам и результатам функций. Если функция возвращает None, опишите и обработайте это, а не скрывайте. Запускайте mypy --strict для нужного каталога. Набор строгих проверок зависит от версии, а импорты могут расширить область анализа. Типы не проверяют входящий JSON во время исполнения: на внешней границе нужна проверка значений и схемы.

Цикл агента и CI

После изменения агент запускает согласованную команду и тесты, читает ошибки, исправляет причину и повторяет проверку. Нельзя получать зеленый результат удалением тестов, ослаблением настроек или необъясненным подавлением ошибок. Сложный случай передается на проверку человеку. В CI должны быть видны команда, версия и результат. При постепенном внедрении начните с выбранной области, сохраните прежние проверки и перечислите непокрытые части. Отдельно проверьте изменения конфигурации и тестов. Чистый журнал полезен только вместе с понятной областью проверки. Пример для безопасного испытания: передайте число в параметр str и убедитесь, что используемая команда действительно находит ошибку; затем исправьте вызов и повторите тесты.

Источники

• 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