一個(gè)月前，微軟研究人員Matthew Parkinson曾提到：微軟正在開發(fā)基于Rust的新編程語言，該項(xiàng)目被命名為Verona。現(xiàn)在，微軟已將Verona正式開
一個(gè)月前，微軟研究人員Matthew Parkinson曾提到：微軟正在開發(fā)基于Rust的新編程語言，該項(xiàng)目被命名為Verona。現(xiàn)在，微軟已將Verona正式開源。
根據(jù)微軟給出的介紹，Verona項(xiàng)目旨在探索有關(guān)語言和運(yùn)行時(shí)設(shè)計(jì)的研究，以實(shí)現(xiàn)安全的可擴(kuò)展內(nèi)存管理和分區(qū)。此次開源的原型僅涵蓋內(nèi)存管理方面。
之前我們介紹到，Verona是基于Rust的新語言。但Rust并不是激發(fā)Verona項(xiàng)目靈感的唯一語言，它也借鑒了Cyclone(一種安全的C語言)和Pony的概念。
微軟還強(qiáng)調(diào)，這只是一個(gè)研究項(xiàng)目，不是一項(xiàng)產(chǎn)品，并且與微軟對(duì)C++，C#和Rust的使用沒有關(guān)系。他們希望Verona研究項(xiàng)目可以使其他語言受益，希望將其作為一種“研究編程語言”，通過開源吸引更多學(xué)術(shù)合作者以探討并發(fā)所有權(quán)的概念。目前，該項(xiàng)目尚未做好在研究之外的領(lǐng)域使用的準(zhǔn)備。（xplanet）
