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