TechPrufer
Get started
Vercel
Vercel logoVercel · Feature trail

Python Type Manipulation

1 post · Mar 2026

What this trail covers

Vercel is researching and contributing to advancements in Python's type system, aiming to make it more expressive and composable, similar to TypeScript's programmable types. This effort has resulted in PEP 827, which proposes standard type-level building blocks for introspecting and constructing types, benefiting both type checkers and runtime tooling. The goal is to align Python's static typing with its dynamic runtime capabilities, enabling frameworks like Pydantic to leverage these improvements.

All Vercel trails
  1. Advancing Python typingThis post introduces PEP 827: Type Manipulation, a new proposal for Python's type system. It details how this proposal aims to make Python's type system more expressive and composable, drawing parallels to TypeScript's programmable types. The post provides concrete examples of implementing utility types like `Pick` and `Omit` in both TypeScript and Python, highlighting the differences in syntax and approach. It emphasizes that the goal is not to make Python look like TypeScript, but to provide a programmable core that matches Python's semantics and remains introspectable at runtime, benefiting frameworks like Pydantic.