Year: 2025
Type: article
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.
DOI: 10.4204/eptcs.427.6
Authors: Andrei Nacu, Dorel Lucanu
Institution: Alexandru Ioan Cuza University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4414205279