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

　　一個月前，微軟研究人員 Matthew Parkinson 曾提到： 微軟正在開發基於 Rust 的新編程語言，該項目被命名爲 Verona。如今，微軟已將 Verona 正式 開源。 　　根據微軟給出的介紹，Verona 項目旨在探索有關語言和運行時設計的研究，以實現安全的可擴展內存管理和分區。這次開源的原型僅涵蓋內存管理方面。 　　此外，微軟還分享了一些關於 Verona 項目較高級別的研究問題： 　　這些問題正處在不一樣研究階段，並將在之後的論文中供同行評審。 　　以前咱們介紹到，Verona 是基於 Rust 的新語言。但 Rust 並非激發 Verona 項目靈感的惟一語言，它也借鑑了 Cyclone（一種安全的 C 語言）和 Pony 的概念。 　　微軟還強調， 這只是一個研究項目，不是一項產品， 而且與微軟對 C ，C# 和 Rust 的使用沒有關係。他們但願 Verona 研究項目可使其餘語言受益，但願將其做爲一種 「研究編程語言」，經過開源吸引更多學術合做者以探討併發全部權的概念。目前， 該項目還沒有作好在研究以外的領域使用的準備。