Concorrência Destemida em Python: O Projeto Lungfish
A equipe do Projeto Verona está desenvolvendo o Lungfish, um novo modelo de propriedade para Python projetado para fornecer gerenciamento de memória e concorrência seguros e eficientes. Inicialmente, eles criaram protótipos de conceitos de propriedade baseados em região usando uma linguagem de brinquedo, o FrankenScript, e compartilharam suas descobertas com a equipe do Faster CPython. Atualmente, eles estão implementando incrementalmente um modelo de imutabilidade profunda, incluindo imutabilidade profunda em CPython, gerenciando lixo imutável cíclico e integrando com mensagens entre sub-interpretadores. Isso abrirá caminho para a aplicação do modelo de propriedade baseado em região ao Python, com o objetivo final de simplificar a programação concorrente e evitar armadilhas de concorrência. O projeto se baseia fortemente em linguagens como Rust, mas emprega verificações dinâmicas para acomodar a tipagem dinâmica do Python.