展会信息港展会大全

微软正式开源受 Rust 启发的新编程语言 Verona
来源:互联网   发布日期:2020-01-21   浏览:77次  

导读:一个月前,微软研究人员Matthew Parkinson 曾提到:微软正在开发基于 Rust 的新编程语言,该项目被命名为Verona。现在,微软已将 Verona 正式开源。 根据微软给出的介绍,Verona 项目旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存 ......

一个月前,微软研究人员Matthew Parkinson 曾提到:微软正在开发基于 Rust 的新编程语言,该项目被命名为Verona。现在,微软已将 Verona 正式开源。

根据微软给出的介绍,Verona 项目旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。

此外,微软还分享了一些关于Verona 项目较高级别的研究问题:

如果我们设计的语言没有并发突变,那么我们可以构建可扩展的内存管理吗?

可以在不牺牲内存管理的情况下,使用线性区域来消除每个对象线性度的限制吗?

可以使用语言级别的区域来支持分隔吗?

这些问题正处在不同研究阶段,并将在以后的论文中供同行评审。

之前我们介绍到,Verona 是基于Rust 的新语言。但 Rust 并不是激发 Verona 项目灵感的唯一语言,它也借鉴了 Cyclone(一种安全的 C 语言)和 Pony 的概念。

微软还强调, 这只是一个研究项目,不是一项产品, 并且与微软对 C++,C# 和 Rust 的使用没有关系。他们希望Verona 研究项目可以使其他语言受益,希望将其作为一种 研究编程语言 ,通过开源吸引更多学术合作者以探讨并发所有权的概念。目前, 该项目尚未做好在研究之外的领域使用的准备。

赞助本站

人工智能实验室

相关热词:

AiLab云推荐
展开

热门栏目HotCates

Copyright © 2010-2024 AiLab Team. 人工智能实验室 版权所有    关于我们 | 联系我们 | 广告服务 | 公司动态 | 免责声明 | 隐私条款 | 工作机会 | 展会港