This is the development repository for a PEP to add TypeScript-inspired type-level introspection and construction facilities to the Python type system.
There is a rendered PEP draft.
See pep.rst for the PEP draft source code.
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.