Advancing Python typing

What this post added

This post introduces PEP 827: Type Manipulation, a research effort to enhance Python's type system. It details how this proposal aims to make Python types more expressive and composable, akin to TypeScript's programmable types, by providing standard type-level building blocks for introspection and construction. Concrete examples of implementing `Pick` and `Omit` in Python, contrasting them with TypeScript, are provided to illustrate the approach. The post emphasizes aligning Python typing with its runtime semantics for improved tooling and framework capabilities.