Talks - Antonio Cuni: SPy (Static Python) lang: fast as C, Pythonic as Python
SPy is a brand new statically typed variant of Python which aim to get performance comparable to system languages such as C and C++, while preserving the "Pythonic feeling" of the language.
The main idea behind SPy is that "modern Python" is actually a subset of Python:
many of the most dynamic features of the language are considered bad practice and actively discouraged;
the alway-increasingly adoption of typing leads to codebases which are largerly statically typed.
However, these rules are not enforced by the language, and there are cases in which "breaking the rules" is actually useful and make the code easier/better/faster.
From the point of view of language implementors, the VM cannot easily take advantage of the "mostly static" nature of programs because it has always to be ready for the generic case.
SPy tries to reconcile these two sides:
it uses a static type system which is designed specifically for safety and performance;
the vast majority of "dynamic" feature of Python (like decorators, metaclasses, __special_methods__, ...) can be used at zero cost, since they are resolved at compile time by using meta-programming and partial evaluation techniques.
This talk will present in the details the ideas behind SPy and its current status.
Watch video Talks - Antonio Cuni: SPy (Static Python) lang: fast as C, Pythonic as Python online without registration, duration hours minute second in high quality. This video was added by user PyCon US 29 August 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 2,050 once and liked it 54 people.