微软正式开源受 Rust 启发的新编程语言 Verona

xplanet
 xplanet
发布于 2020年01月21日
收藏 15

一个月前,微软研究人员 Matthew Parkinson 曾提到:微软正在开发基于 Rust 的新编程语言www.3677.com_【官方首页】-大满贯,该项目被命名为 Verona。现在,微软已将 Verona 正式开源

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

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

  • 如果我们设计的语言没有并发突变,那么我们可以构建可扩展的内存管理吗?
  • 可以在不牺牲内存管理的情况下,使用线性区域来消除每个对象线性度的限制吗?
  • 可以使用语言级别的区域来支持分隔吗?

www.3677.com_【官方首页】-大满贯这些问题正处在不同研究阶段,并将在以后的论文中供同行评审。

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

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

本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 OSCHINA 社区 [http://poshsblackbook.com]
本文标题:微软正式开源受 Rust 启发的新编程语言 Verona
加载中

精彩评论

红薯
红薯
我靠,又来新编程语言
薛小猫
薛小猫
Rust,别哭……会有天使替我爱你。JavaScript,你来添什么乱?!没看到我正在安慰Rust吗!你哭哭啼啼的做什么?!
__JM_Joy__
__JM_Joy__
目前还是研究项目性项目,各位看官别高潮了哦。🤣🤣🤣
HalLi
HalLi
因为他们不会写“完全自主设计、开发”
cc_z
cc_z
www.3677.com_【官方首页】-大满贯开发语言难度不高,但是持续发展投入的精力太大。

最新评论(53

知足2020
微软的科研实力强
你们都是技术宅
你们都是技术宅
有意思,反正就当它是研究性语言来学习一下,既然是新出的语言必然有其可取之处,值得学习,各位不必高潮,最起码总比我们的”木兰“好
众思越
众思越
这名字太复杂,成不了气候
游侠小陆
r#的话微软可以做成点样子
TavenLi
TavenLi
微软就是个锤子
d
dwcz
这三个问题在现有硬件下是无解的。Rust走了函数式语言的老路,吹的神,用起来还是得用传统手段,最后,制造一堆所谓的新概念。
a
asurazp
微软靠得住,母猪会上树
lieefu
lieefu
微软技术,垃圾中的战斗机,远离微软技术路线,享受快乐编程人生。
兮若
兮若
微软好像干啥啥不行,吃啥啥不剩
城南码夫
微软的语言,不挂#不成器
返回顶部
顶部

页面底部区域 foot.htm