一個月前，微軟研究人員Matthew Parkinson曾提到：微軟正在開發基於Rust的新編程語言，該項目被命名為Verona。現在，微軟已將Verona正式開源。根據微軟給出的介紹，Verona項目旨在探索有關語言和運行時設計的研究，以實現安全的可擴展內存管理和分區。此次開源的原型僅涵蓋內存管理方面。

此外，微軟還分享了一些關於 Verona 項目較高級別的研究問題：

• 如果我們設計的語言沒有並發突變，那麼我們可以構建可擴展的內存管理嗎？
• 可以在不犧牲內存管理的情況下，使用線性區域來消除每個對象線性度的限制嗎？
• 可以使用語言級別的區域來支持分隔嗎？

這些問題正處在不同研究階段，並將在以後的論文中供同行評審。

之前我們介紹到，Verona 是基於 Rust 的新語言。但Rust 並不是激發Verona 項目靈感的唯一語言，它也藉鑑了Cyclone（一種安全的C 語言）和Pony 的概念。

微軟還強調， 這只是一個研究項目，不是一項產品， 並且與微軟對C++，C# 和Rust 的使用沒有關係。他們希望 Verona 研究項目可以使其他語言受益，希望將其作為一種“研究編程語言”，通過開源吸引更多學術合作者以探討並發所有權的概念。目前， 該項目尚未做好在研究之外的領域使用的準備。