The Paradox of Statically Typed Python & Polymorphic C
Python implements dynamic type behavior using a statically typed language (C), only to then offer static type annotations on top of a dynamically typed language (Python). This paradox is the focus of this talk. We will look at the basics of type annotations, how polymorphism is implemented in C with PyObject and PyObject_HEAD, and how CPython API functions like PyObject_TypeCheck() work. Despite the chasm between type annotations and runtime reality, their benefits will be demonstrated.
Christopher Ariza (www.flexatone.net) is Partner and Chief Technology Officer at Research Affiliates, a global leader in investment strategies and research. He is the creator and lead developer of StaticFrame, an alternative DataFrame library that offers immutable and statically-typeable DataFrames with runtime type and data validation.
Having worked in Python for over 25 years, he has developed tools in a variety of domains, including algorithmic music composition and computer-aided musicology, and has spoken at numerous conferences, including PyCon USA, SciPy, PyData Global, PyData Los Angeles, and numerous other venues.
Prior to joining Research Affiliates, he was Visiting Assistant Professor of Music at MIT, Assistant Editor at the Computer Music Journal, and Assistant Professor of Recording Arts and Music Technology at Towson University. He has a PhD and MA in music theory and composition from New York University, and a BA in music from Harvard University.