Concurrencia sin miedo en Python: El Proyecto Lungfish

El equipo del Proyecto Verona está desarrollando Lungfish, un nuevo modelo de propiedad para Python diseñado para proporcionar una gestión segura y eficiente de la memoria y la concurrencia. Inicialmente, crearon prototipos de conceptos de propiedad basados en regiones utilizando un lenguaje de juguete, FrankenScript, y compartieron sus hallazgos con el equipo de Faster CPython. Actualmente, están implementando incrementalmente un modelo de inmutabilidad profunda, incluyendo la inmutabilidad profunda en CPython, gestionando la basura inmutable cíclica e integrando con mensajes entre subintérpretes. Esto allanará el camino para la aplicación del modelo de propiedad basado en regiones a Python, con el objetivo final de simplificar la programación concurrente y evitar las trampas de la concurrencia. El proyecto se basa en gran medida en lenguajes como Rust, pero emplea comprobaciones dinámicas para acomodar el tipado dinámico de Python.