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.
On this page of the site you can watch the video online Talks - Antonio Cuni: SPy (Static Python) lang: fast as C, Pythonic as Python with a duration of hours minute second in good quality, which was uploaded by the user PyCon US 29 August 2024, share the link with friends and acquaintances, this video has already been watched 2,050 times on youtube and it was liked by 54 viewers. Enjoy your viewing!
