Advancing Python typing

This 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.