Project Verona: Fearless Concurrency for Python
a year ago
- #Python
- #Ownership Model
- #Concurrency
- Project Verona正在为Python开发一种名为Lungfish的新型所有权模型，以安全地管理内存和并发。
- 创建了一个玩具语言FrankenScript，用于动态原型化基于区域的所有权概念。
- 与Python社区的互动包括与Faster CPython团队的讨论以及在Python语言峰会上进行的演讲。
- 新所有权模型的开发从深度不可变性开始，分为三个部分：深度不可变性、管理循环不可变垃圾以及子解释器间消息传递的集成。
- 该所有权模型旨在支持Python的动态类型和现有对象图，与Rust的静态方法不同。
- Project Verona从动态所有权研究中吸取经验，挑战静态假设并探索新的编程模式。
- 资源包括出版物、用于实验的FrankenScript以及GitHub上供贡献者参与的Python分支项目。