typescript-pro - Типы и контракты для TypeScript

Когда звать

• Когда в TypeScript путаются идентификаторы, состояния запроса или типы входных данных.
• Когда библиотеке нужны явные контракты, файлы деклараций и проверка типов перед выпуском.

Зачем подключать TypeScript Pro

TypeScript Pro задаёт агенту порядок работы с типами в приложении или библиотеке. Автор выделяет generics, условные и отображаемые типы, tRPC и настройки монорепозитория. В проверенном SKILL.md указана версия 1.1.0 и ориентир на TypeScript 5.0 и новее.

Он подходит для ситуации, когда строка с номером пользователя случайно попадает в поле заказа или интерфейс допускает невозможное сочетание состояний. В исходнике показаны branded types: поверх обычного значения вводится отдельная метка типа. Такая метка помогает компилятору различать сущности, но сама по себе не проверяет пришедшую по сети строку.

Что предписывает исходник

Работа начинается с анализа tsconfig, покрытия типами и времени сборки. Затем агент проектирует публичные интерфейсы и только после этого пишет реализацию. Для состояний загрузки автор использует discriminated unions: каждому варианту соответствует свой status и свой набор полей.

Пример с never показывает проверку полноты разбора вариантов. Если разработчик добавит новое состояние, забытый обработчик должен обнаружиться при компиляции. Отдельно приведены пользовательские type guards, глубокий readonly и тип для выбора ровно одного поля из группы.

После реализации инструкция требует запустить tsc --noEmit, исправить ошибки и повторить проверку после изменений настроек. Для оценки покрытия предлагается инструмент вроде type-coverage. На публичных функциях должны быть явные возвращаемые типы; библиотека должна выпускать декларации.

Какие решения стоит проверить отдельно

Автор требует строгого режима, оператора satisfies и разделения импортов типов и значений. Он запрещает необоснованный any, ненужные приведения через as и отключение проверки null. Вместо enum предлагает объекты с as const. Это требования данного скилла, поэтому действующие соглашения проекта нужно сверить до массового изменения кода.

В таблице справочников есть отдельные файлы по продвинутым типам, сужению, утилитам, конфигурации и шаблонам проектирования. Сохраняйте папку references вместе с основным файлом: в одиночку инструкция будет ссылаться на отсутствующие материалы.

Пример первой задачи

Можно попросить агента: «Разберите состояния формы отправки. Покажите типы для ожидания, успеха и ошибки. Запретите одновременно передавать результат и ошибку, добавьте проверку полноты обработки и покажите настоящий вывод компилятора». Такой запрос проверяет конкретную область типов, а не заставляет переделывать весь проект.

На выходе по исходнику ожидаются определения типов, реализация с guards и краткое объяснение принятых решений. Для настройки компиляции агент должен показать изменённые параметры и причину каждого изменения. Результат проверки следует отличать от предположения, что код должен собраться.

В QUICKSTART описано подключение всей коллекции через плагин Claude Code. Это не установка одного TypeScript Pro. Способ подключения в Codex и выполнение скилла здесь не проверялись. Обычный JavaScript разбирает отдельный JavaScript Pro; общий порядок добавления файлов есть в инструкции по установке скилла.