Fearless Concurrency in Python: The Lungfish Project

The Project Verona team is developing Lungfish, a novel ownership model for Python designed to provide safe and efficient memory and concurrency management. They initially prototyped region-based ownership concepts using a toy language, FrankenScript, and shared their findings with the Faster CPython team. Currently, they're incrementally implementing a deep immutability model, including deep immutability in CPython, managing cyclic immutable garbage, and integrating with inter-subinterpreter messaging. This will pave the way for applying the region-based ownership model to Python, ultimately aiming to simplify concurrent programming and avoid concurrency pitfalls. The project draws heavily from languages like Rust but employs dynamic checks to accommodate Python's dynamic typing.