Project Verona: Fearless Concurrency for Python
Published on: 2025-07-01 12:58:09
Fearless Concurrency for Python
As part of Project Verona, we have been developing a new ownership model for Python, called Lungfish. This model is designed to provide a safe and efficient way to manage memory and concurrency in Python programs. This page explains our experiments to develop this approach.
Plan for Python
Quick prototyping in FrankenScript
Modifying a production language is a complex task. As an initial step, we have been developing a toy language called FrankenScript that allows us to quickly prototype our ideas for region-based ownership. FrankenScript is a small language that is designed to be easy to modify and extend. It is based on the ideas of ownership and concurrency that we are exploring in Project Verona, but where all the checks are dynamic.
This prototype has given us confidence in the conceptual ideas behind our ownership model, and has allowed us to explore the design space of ownership in a dynamic language. It has also helped us explain our ideas a
... Read full article.