一个月前,微软研究人员 Matthew Parkinson 曾提到:微软正在开发基于 Rust 的新编程语言,该项目被命名为 Verona。现在,微软已将 Verona 正式开源。 此前,微软表示正探索将 Rust 作为 C 和 C++ 的安全替代方案,并且也对外展示了使用 Rust 重写 Windows 组件的体验,根据微软的说法,Rust 是一种从根本上考虑安全性的编程语言,他们将尝试使用 Rust 重写各种产品,因为在过去的十年里,微软 70% 以上的安全补丁都提供了与内存相关的错误,而 Rust 正是解决这个问题的“良药”。 根据微软给出的介绍,Verona 项目旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。 此外,微软还分享了一些关于 Verona 项目较高级别的研究问题:
这些问题正处在不同研究阶段,并将在以后的论文中供同行评审。 之前我们介绍到,Verona 是基于 Rust 的新语言。但 Rust 并不是激发 Verona 项目灵感的唯一语言,它也借鉴了 Cyclone(一种安全的 C 语言)和 Pony 的概念。 微软还强调, 这只是一个研究项目,不是一项产品, 并且与微软对 C++、C# 和 Rust 的使用没有关系。他们希望 Verona 研究项目可以使其他语言受益,希望将其作为一种 “研究编程语言”,通过开源吸引更多学术合作者以探讨并发所有权的概念。 目前, 该项目尚未做好在研究之外的领域使用的准备。 |
|
来自: 西北望msm66g9f > 《编程》