Advancing Python Typing

PEP 827: Type Manipulation, the result of a year of research aimed at making Python's type system more expressive and composable, has been published. It aims to capture a spirit similar to TypeScript's programmable types, while being designed to be optimized for Python's runtime model.

Currently, Python's runtime offers very powerful capabilities through metaprogramming and decorators, but static typing often fails to keep up with these dynamic changes, requiring separate plugins or boilerplate code. PEP 827 proposes standardized type-level building blocks that can inspect existing types and construct new ones, supporting both type checkers and runtime tools.

Key features are as follows:

• Difference from TypeScript: When implementing utility types like Pick or Omit, Python combines standard imperative syntax with a type-level API, instead of TypeScript's dedicated syntax.
• Runtime compatibility: Rather than simply mimicking TypeScript, the key is to provide a programmable core that maintains Python's semantics while also being inspectable at runtime.
• Framework support: This will allow frameworks such as Pydantic to offer even more powerful capabilities.

Even in an era where AI agents write code, a sophisticated type system becomes even more important. As type checkers become more thorough and frameworks become more expressive, developers can ship code that is safer, more concise, and more reviewable.