PEP 827: Type Manipulation and Programmable Typing in Python

We explore PEP 827, a proposed programmable typing core for Python that lets you derive new types from existing ones using type-level operations. From create/update model derivations for FastAPI and Prisma-like ORMs to runtime introspection with Pydantic, we discuss how this could dramatically cut boilerplate and make typing more expressive—without sacrificing Python's dynamic runtime. We'll compare to TypeScript utility types, cover the debates in the community, and imagine a future where code structures are self-documenting and self-verifying as AI agents help write code.

Note:  This podcast was AI-generated, and sometimes AI can make mistakes.  Please double-check any critical information.

Sponsored by Embersilk LLC