一個(gè)月前，微軟研究人員 Matthew Parkinson 曾提到：微軟正在開發(fā)基于 Rust 的新編程語言，該項(xiàng)目被命名為 Verona?，F(xiàn)在，微軟已將 Verona 正式開源。根據(jù)微軟給出的介紹，Verona 項(xiàng)目旨在探索有關(guān)語言和運(yùn)行時(shí)設(shè)計(jì)的研究，以實(shí)現(xiàn)安全的可擴(kuò)展內(nèi)存管理和分區(qū)。此次開源的原型僅涵蓋內(nèi)存管理方面。

此外，微軟還分享了一些關(guān)于 Verona 項(xiàng)目較高級(jí)別的研究問題：

如果我們設(shè)計(jì)的語言沒有并發(fā)突變，那么我們可以構(gòu)建可擴(kuò)展的內(nèi)存管理嗎？

可以在不犧牲內(nèi)存管理的情況下，使用線性區(qū)域來消除每個(gè)對象線性度的限制嗎？

可以使用語言級(jí)別的區(qū)域來支持分隔嗎？

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

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

微軟還強(qiáng)調(diào)， 這只是一個(gè)研究項(xiàng)目，不是一項(xiàng)產(chǎn)品， 并且與微軟對 C++，C# 和 Rust 的使用沒有關(guān)系。他們希望 Verona 研究項(xiàng)目可以使其他語言受益，希望將其作為一種 “研究編程語言”，通過開源吸引更多學(xué)術(shù)合作者以探討并發(fā)所有權(quán)的概念。目前， 該項(xiàng)目尚未做好在研究之外的領(lǐng)域使用的準(zhǔn)備。