PEP 827: Python получает программируемые типы в духе TypeScript

Vercel опубликовал результаты годового исследования по развитию системы типов Python. Итог — PEP 827: Type Manipulation, который добавляет в язык программируемые, интроспектируемые типы, вдохновлённые TypeScript.

Сейчас Python позволяет генерировать классы, методы и целые API на лету, но статическая типизация за этим часто не успевает — нужны плагины для type checker'ов или лишний boilerplate. PEP 827 предлагает стандартный набор примитивов для интроспекции существующих типов и построения новых. Это должно помочь и type checker'ам, и runtime-инструментам вроде Pydantic.

В качестве примера авторы показывают утилиты Pick и Omit: в Python они реализуются через обычный императивный синтаксис и type-level API, причём Omit отличается от Pick лишь инвертированным условием. В TypeScript же композиция типов устроена иначе. Идея не в том, чтобы «сделать Python как TypeScript», а в том, чтобы дать Python программируемое ядро типизации, совместимое с семантикой языка и интроспектируемое в runtime.

Источник: Advancing Python typing — Vercel