Navigating the Python Type Jungle
Programming Languages
2025-09-17 v1
Abstract
Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address this fragmentation. The central contribution is a formal foundation that uses concepts from type theory to demonstrate that Python's type system can be elegantly described. This work aims to serve as a crucial first step toward the future development of type inference tools.
Cite
@article{arxiv.2509.13022,
title = {Navigating the Python Type Jungle},
author = {Andrei Nacu and Dorel Lucanu},
journal= {arXiv preprint arXiv:2509.13022},
year = {2025}
}
Comments
In Proceedings FROM 2025, arXiv:2509.11877