This is the development repository for PEP 827 – Type Manipulation, which proposes TypeScript-inspired type-level introspection and construction facilities for the Python type system.
Discussion of the PEP is at the PEP 827 discussion thread.
This repository also contains an implementation of the proposed
additions to typing (typemap/typing.py), as well as a
prototype runtime evaluator (typemap/type_eval).
- Clone the repo
$ cd typemap$ uv sync$ uv run pytest
If you have https://github.com/msullivan/mypy/tree/typemap active in a
venv, you can run it against at least some of the tests with
invocations like:
mypy --python-version=3.14 tests/test_qblike_2.py
Not all of them run cleanly yet though.
