微軟正式開源受 Rust 啟發的新編程語言 Verona

　　一個月前，微軟研究人員 Matthew Parkinson 曾提到：微軟正在開發基于 Rust 的新編程語言，該項目被命名為 Verona。現在，微軟已將 Verona 正式開源。

　　根據微軟給出的介紹，Verona 項目旨在探索有關語言和運行時設計的研究，以實現安全的可擴展內存管理和分區。此次開源的原型僅涵蓋內存管理方面。

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

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

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

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