PEP 827은 Python 타입 시스템에 강력한 타입 수준의 내성 및 생성 기능을 추가하는 것을 제안합니다.

주요 목표는 TypeScript의 조건부 및 매핑 타입에서 영감을 받아 Python의 타입 모델에 맞게 조정된 새로운 타입 조작 원시 기능을 도입하는 것입니다.

이를 통해 ORM, FastAPI CRUD 모델 자동 생성, dataclass 스타일 메서드 생성, 데코레이터 타입 지정 강화 등 복잡한 메타프로그래밍 패턴을 정적 타입 검사기와 런타임 타입 내성 모두에서 지원할 수 있게 됩니다.

또한, 확장된 Callable 타입, TypedDict의 **kwargs 타입 변수 언팩, 조건부 타입, 타입 멤버 접근, 타입 연산자 등 다양한 타입 연산자를 도입하여 타입 수준에서의 정교한 조작과 추론을 가능하게 합니다.

이 제안은 Python 3.15 버전을 대상으로 하며, 타입 검사기와 프레임워크가 동적으로 타입을 평가하고 활용할 수 있도록 설계되어 실용적이고 일관된 타입 시스템 확장을 제공합니다.