文档章节

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

 水果黄瓜
发布于 01/21 11:38
字数 415
阅读 301
收藏 0

3 月,跳不动了?>>>

  一个月前,微软研究人员 Matthew Parkinson 曾提到: 微软正在开发基于 Rust 的新编程语言,该项目被命名为 Verona。现在,微软已将 Verona 正式 开源
  根据微软给出的介绍,Verona 项目旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。
  此外,微软还分享了一些关于 Verona 项目较高级别的研究问题:
  这些问题正处在不同研究阶段,并将在以后的论文中供同行评审。
  之前我们介绍到,Verona 是基于 Rust 的新语言。但 Rust 并不是激发 Verona 项目灵感的唯一语言,它也借鉴了 Cyclone(一种安全的 C 语言)和 Pony 的概念。
  微软还强调, 这只是一个研究项目,不是一项产品, 并且与微软对 C ,C# 和 Rust 的使用没有关系。他们希望 Verona 研究项目可以使其他语言受益,希望将其作为一种 “研究编程语言”,通过开源吸引更多学术合作者以探讨并发所有权的概念。目前, 该项目尚未做好在研究之外的领域使用的准备。  

© 著作权归作者所有

粉丝 0
博文 108
码字总数 112420
作品 0
温州
私信 提问
加载中

评论(0)

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

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

xplanet
01/21
1.1W
53
微软正在开发基于 Rust 的安全编程语言

此前,微软表示正探索将 Rust 作为 C 和 C++ 的安全替代方案,并且也对外展示了使用 Rust 重写 Windows 组件的体验,根据微软的说法,Rust 是一种从根本上考虑安全性的编程语言,他们将尝试使...

oschina
2019/12/03
1.7W
84
【一周】微软霸道刷屏:Rust、Python、TypeScript、VS、SQL Server……

回顾一周社区热门资讯 第【三十三】期:20190720-20190726 文末有福利 点击相应标题,跳转阅读全文。 TiKV 3.0 GA 发布,分布式事务键值数据库 TiKV 是一个开源、统一分布式存储层,支持功能...

h4cd
2019/07/27
1.9W
19
编程语言这一年:Rust、Kotlin 上位,Python 横行,PHP……

作者:开源中国(OSCHINA) 内容来源:开源中国(OSCHINA) 最近开源中国(OSCHINA)在庆祝 11 周年生日,编辑部借着这个机会梳理了一下这一年来我们追过的那些开源界/开发界的热点新闻,算作...

编辑部的故事
2019/09/09
2.2W
32
用于研究的编程语言 - Verona

Verona 项目是一种用于研究的编程语言,旨在探讨并发所有权的概念。它提供了一种新的并发模型,该模型无缝集成了所有权。Verona 旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存...

匿名
01/21
3.2K
0

没有更多内容

加载失败,请刷新页面

加载更多

夏令时和时区最佳实践 - Daylight saving time and time zone best practices [closed]

问题: I am hoping to make this question and the answers to it the definitive guide to dealing with daylight saving time, in particular for dealing with the actual change overs.......

技术盛宴
今天
20
0
SSM框架整合

mybatis逆向工程 mybatis-generator生成pojo、mapper接口及映射文件 mapper放到e3-manager-dao层中 导入sql到数据库中; 导入逆向工程工具,配置xml文件 运行main方法 重复运行main不会覆盖!...

七宝1
今天
30
0
OSChina 周日乱弹 —— 和网友的第一次开房经历

Osc乱弹歌单(2020)请戳(这里) 【今日歌曲】 @薛定谔的兄弟 :分享洛神有语创建的歌单「我喜欢的音乐」: 《Ljósið》- Ólafur Arnalds 手机党少年们想听歌,请使劲儿戳(这里) @xiaos...

小小编辑
今天
48
0
程序员职业生涯指引

程序员应该尽早规划自己的职业生涯 为什么写 众所周知 IT 这一行到了一定的年龄、大部分人都或多或少有危机感,特别是今年全国乃至全球发生的疫情、导致整体经济受到很大的影响、这次的疫情影...

科比可比克
今天
11
0
JVM调优实战分析

一、查看服务器项目JVM参数以及参数分析 1、jps 命令 : 列出系统中所有的 Java 应用程序以及PID 如下图所示,26647就是我部署在服务器的一个小项目的 PID 2、jmap命令:查看堆的使用情况 如...

IT-Mamba
今天
42
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部