Практическая проверка Python 3.15 RC1: как аннотировать и проверить API принимающий int list[int] union или TypedDict через TypeForm Python 3.15. Изолированный fixture, отрицательный контроль, таблица наблюдений, критерий остановки и безопасный пакет для поддержки.
Граница изменения: как проверить TypeForm в API, принимающем выражение типа
PEP 747 добавляет TypeForm[T] для значений, которые сами являются выражениями типов; runtime TypeForm(x) возвращает x. Реализация — gh-145033. Это подтверждает интерфейс Python 3.15 RC1, но не наличие проблемы в вашем проекте. Практический риск здесь конкретный: Параметр type[Any] слишком узок для list[int] и union, а object/Any теряет связь между входным выражением типа и возвращаемым T. При этом TypeForm не превращается в runtime validator автоматически. Перед опытом запишите версию Python, одну наблюдаемую величину и ожидаемую ветку. RC1 остаётся предварительным выпуском: установите его в отдельный virtual environment или контейнер, не поверх рабочего interpreter. Не переносите в стенд production-конфиги, реальные адреса, tokens, полные environment dumps и пользовательские данные.
Обратимый стенд для gh-145033
Рекомендуемый минимальный опыт: Сделайте минимальную функцию adapt(form: TypeForm[T], value: object) -> T с безопасной заглушкой вместо настоящего cast. В отдельном type-check файле передайте int, str|None, list[int], TypedDict class и заведомо не являющееся type expression значение. Все входы должны быть синтетическими, короткими и воспроизводимыми. Каждый вариант получает новый объект, файл или процесс, если cache и global state способны изменить наблюдение. Ограничьте время, размер временных файлов и число повторов заранее; cleanup выполняйте в finally и удаляйте только созданный temp-root. Один запуск показывает конкретный результат, но не частоту проблемы и не готовность всего приложения к миграции.
Контроль и таблица наблюдений
Собирайте строки «аргумент form | допустим статически | inferred T | runtime object identity | нужна runtime проверка». Сравните точную сигнатуру с вариантом object и type[Any], не меняя тело функции. Невалидный обычный экземпляр обязан быть отклонён type checker, иначе annotation не даёт заявленной границы. Порядок baseline, target, fresh baseline помогает увидеть загрязнение стенда. Пустое поле не равно нулю, отсутствие исключения не подтверждает правильный результат, а изменение двух независимых параметров сразу лишает опыт диагностической силы. Если повторы расходятся, сохраните все строки и пометьте результат unstable, не выбирая самый удобный прогон.
Зелёный критерий и стоп-линия
Passed допустим только если Type checker сохраняет ожидаемый T для четырёх type forms, отклоняет обычное значение, runtime объект не меняется, а документация API явно отделяет annotation от проверки данных. Статус not reproduced означает лишь отсутствие симптома на этом fixture; blocked — нехватку capability или источника; failed control возвращает проверку к стенду. Стоп-линия: Не используйте TypeForm как доказательство безопасности deserialization, issubclass-совместимости или возможности создать экземпляр произвольного выражения типа. Нельзя получать зелёный результат broad except, отключением защиты, увеличением лимита до исчезновения ошибки или повторением до случайного успеха. Любая новая гипотеза получает отдельную строку, а не добавляется задним числом в объяснение уже выполненного опыта.
Минимальный пакет для поддержки
Передайте maintainer только одна сигнатура, пять вызовов reveal_type, версии checker и runtime identity check без кода приложения. Добавьте московский timestamp, точную версию 3.15.0rc1, команды воспроизведения и заранее заданный зелёный критерий. Удалите usernames, hostnames, IP, абсолютные домашние пути, токены, cookies, содержимое рабочих файлов и лишние строки журналов. Официальные и первичные источники подтверждают gh-145033 и change boundary, но не подтверждают результат вашего опыта, массовость боли, будущую индексацию или позиции страницы. Такой пакет позволяет повторить одну ветку без раскрытия данных и без смешения соседних причин.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты и ссылки перепроверены. Реальные пользовательские данные и вымышленные результаты тестов не использовались.
Источники и проверка
- What’s New in Python 3.15 проверено 2026-08-30
- CPython gh-145033 — PEP 747 TypeForm implementation проверено 2026-08-30
- PEP 747 — TypeForm проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.