您的位置:首页 > 学院 >

微软已开源Verona 是基于Rust的编程语言

2020-01-21 10:43:18 来源: 开源中国

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

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

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

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

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

精选 导读

联合国驻华系统与新浪网/微博合作 联合国微博吸引超1000万粉丝

2020年1月20日,联合国驻华系统在北京联合国大楼,与新浪网、微博正式签署战略合作协议,据悉,这是联合国进入中国41年以来,首次与中国门

发布时间: 2020-01-21 09:01
管理   2020-01-21

NASA正与AWS团队和MLSL合作 希望了解太阳超级风暴的预警信号

北京时间1月20日晚间消息,据国外媒体报道,美国宇航局(NASA)正与亚马逊云计算服务部门AWS专业服务团队(AWS PS)和亚马逊机器学习解决方案实

发布时间: 2020-01-21 08:57
管理   2020-01-21

欧盟可能单独征收数字税 将对谷歌/Facebook等征收3%的营业税

北京时间1月20日晚间消息,据国外媒体报道,欧洲产业政策负责人蒂埃里·布雷顿(Thierry Breton)今日表示,如果无法在经合组织层面达成全球统

发布时间: 2020-01-21 08:24
学院   2020-01-21

iQOO将于3月首次登陆印度市场 将独立运营

据91mobiles报道,vivo的品牌iQOO将于今年3月首次登陆印度市场。据了解,自2019年2月发布以来,vivo的品牌iQOO基本上仅限于中国市场,目前

发布时间: 2020-01-21 08:19
科技   2020-01-21

苹果放出两段iPhone 11 Slofie宣传片 即为慢镜自拍功能

1月20日消息苹果近日再度放出了两段关于iPhone 11 Slofie功能的宣传广告片。两段视频都是由专业人士通过使用iPhone 11和iPhone 11 Pro前置

发布时间: 2020-01-20 17:04
科技   2020-01-20

视联动力的视联网监控系统通过GB 35114认证 接入的监控已突破

近日,视联动力的视联网监控联网管理调度系统通过了公安部第一研究所最新的GB 35114《公共安全视频监控联网信息安全技术要求》标准认证。自

发布时间: 2020-01-20 16:25
行业   2020-01-20

德国支持华为参与5G网络建设 否则计划可能滞后5至10年

1月19日消息 德国联邦内政部长泽霍费尔(Horst Seehofer)在接受《法兰克福汇报》时表示,反对将华为排除在德国5G网络建设之外。泽霍费尔说:

发布时间: 2020-01-20 15:30
学院   2020-01-20

三星Galaxy A71 5G将登录美国 搭载Exynos 980+支持HDR 10+视频解码

1月18日消息,据外媒报道,此前被发现的三星Galaxy A71 5G将进入美国市场。据悉,三星准备了两个版本的三星Galaxy A71 5G,分别是SM-A716U(

发布时间: 2020-01-20 14:21
科技   2020-01-20

360安全浏览器已和UOS系统适配 国产CPU首次播放1080p视频

统信软件公司宣布,360安全浏览器已经完成和统一操作系统UOS的适配工作。如今,基于龙芯、兆芯、飞腾、海光等国产CPU的统一操作系统UOS,赢

发布时间: 2020-01-20 11:42
学院   2020-01-20

Intel发布OSPRay 2.0 AVX-512指令集可实现超2倍的渲染速度

NVIDIA从图灵GPU开始支持硬件光追,AMD即将在RDNA2中支持光追加速,Intel的Xe架构GPU是否支持光追还不确定,但是他们的CPU照样可以跑光追。

发布时间: 2020-01-20 11:20
行业   2020-01-20