Navigating the Python Type Jungle

Andrei Nacu, Dorel Lucanu

Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address…