Project Verona: Fearless Concurrency for Python
a year ago
- #Python
- #Ownership Model
- #Concurrency
- Project Verona is developing a new ownership model for Python called Lungfish to manage memory and concurrency safely.
- A toy language, FrankenScript, was created to prototype region-based ownership ideas dynamically.
- Engagement with the Python community includes discussions with the Faster CPython team and a presentation at the Python Language Summit.
- Steps towards a new ownership model start with deep immutability, divided into three parts: deep immutability, managing cyclic immutable garbage, and integration with message passing between sub-interpreters.
- The ownership model aims to support Python's dynamic typing and existing object graphs, differing from Rust's static approach.
- Project Verona has learned from dynamic ownership research, challenging static assumptions and exploring new programming patterns.
- Resources include publications, FrankenScript for experimentation, and Python forks on GitHub for those interested in contributing.