微软开发基于rust的新编程语言：正式命名为Verona

一个月前，微软研究人员 Matthew Parkinson曾提到：微软正在开发基于Rust的新编程语言，该项目被命名为 Verona。现在，微软已将Verona正式开源。

根据微软给出的介绍，Verona项目旨在探索有关语言和运行时设计的研究，以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。

之前我们介绍到，Verona是基于 Rust的新语言。但Rust并不是激发Verona项目灵感的唯一语言，它也借鉴了Cyclone（一种安全的C语言）和Pony的概念。

微软还强调，这只是一个研究项目，不是一项产品，并且与微软对C++，C#和Rust的使用没有关系。他们希望 Verona研究项目可以使其他语言受益，希望将其作为一种“研究编程语言”，通过开源吸引更多学术合作者以探讨并发所有权的概念。目前，该项目尚未做好在研究之外的领域使用的准备。