Concurrence sans peur en Python : le projet Lungfish
L’équipe du projet Verona développe Lungfish, un nouveau modèle de propriété pour Python conçu pour fournir une gestion sûre et efficace de la mémoire et de la concurrence. Dans un premier temps, ils ont créé des prototypes de concepts de propriété basés sur des régions à l’aide d’un langage jouet, FrankenScript, et ont partagé leurs résultats avec l’équipe Faster CPython. Actuellement, ils mettent en œuvre progressivement un modèle d’immuabilité profonde, incluant l’immuabilité profonde dans CPython, la gestion des ordures immuables cycliques et l’intégration avec la messagerie entre sous-interprètes. Cela ouvrira la voie à l’application du modèle de propriété basé sur les régions à Python, dans le but final de simplifier la programmation concurrente et d’éviter les pièges de la concurrence. Le projet s’inspire fortement de langages comme Rust, mais utilise des vérifications dynamiques pour s’adapter au typage dynamique de Python.