微软正式开源受 Rust 启发的新编程语言 Verona
发布时间：2020-01-24 23:07:04 所属栏目：资源 来源：腾讯科技
导读：一个月前， 微软 研究人员 Matthew Parkinson 曾提到：微软正在开发基于 Rust 的新编程语言，该项目被命名为 Verona。现在，微软已将 Verona 正式开源。 根据微软给出的介绍，Verona 项目旨在探索有关语言和运行时设计的研究，以实现安全的可扩展内存管理
|
一个月前，微软研究人员 Matthew Parkinson 曾提到：微软正在开发基于 Rust 的新编程语言，该项目被命名为 Verona。现在，微软已将 Verona 正式开源。 根据微软给出的介绍，Verona 项目旨在探索有关语言和运行时设计的研究，以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。 此外，微软还分享了一些关于 Verona 项目较高级别的研究问题： 如果我们设计的语言没有并发突变，那么我们可以构建可扩展的内存管理吗？ 可以在不牺牲内存管理的情况下，使用线性区域来消除每个对象线性度的限制吗？ 可以使用语言级别的区域来支持分隔吗？ 这些问题正处在不同研究阶段，并将在以后的论文中供同行评审。 之前我们介绍到，Verona 是基于 Rust 的新语言。但 Rust 并不是激发 Verona 项目灵感的唯一语言，它也借鉴了 Cyclone（一种安全的 C 语言）和 Pony 的概念。 微软还强调， 这只是一个研究项目，不是一项产品， 并且与微软对 C++，C# 和 Rust 的使用没有关系。他们希望 Verona 研究项目可以使其他语言受益，希望将其作为一种 “研究编程语言”，通过开源吸引更多学术合作者以探讨并发所有权的概念。目前， 该项目尚未做好在研究之外的领域使用的准备。 本文内容不用于商业目的，如涉及知识产权问题，请权利人联系博为峰小编(021-64471599-8017)，我们将立即处理。 （编辑：南平站长网） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |