一個(gè)月前，微軟研究人員Matthew Parkinson 曾提到：微軟正在開(kāi)發(fā)基于 Rust 的新編程語(yǔ)言，該項(xiàng)目被命名為Verona。現(xiàn)在，微軟已將 Verona 正式開(kāi)源。

　　根據(jù)微軟給出的介紹，Verona 項(xiàng)目旨在探索有關(guān)語(yǔ)言和運(yùn)行時(shí)設(shè)計(jì)的研究，以實(shí)現(xiàn)安全的可擴(kuò)展內(nèi)存管理和分區(qū)。此次開(kāi)源的原型僅涵蓋內(nèi)存管理方面。

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

• 如果我們?cè)O(shè)計(jì)的語(yǔ)言沒(méi)有并發(fā)突變，那么我們可以構(gòu)建可擴(kuò)展的內(nèi)存管理嗎？
• 可以在不犧牲內(nèi)存管理的情況下，使用線性區(qū)域來(lái)消除每個(gè)對(duì)象線性度的限制嗎？
• 可以使用語(yǔ)言級(jí)別的區(qū)域來(lái)支持分隔嗎？

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

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

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

總結(jié)

以上是生活随笔為你收集整理的微软正式开源受 Rust 启发的新编程语言 Verona的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。