Verona 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
Verona 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
授权协议: MIT
开发语言: C/C++
操作系统: 跨平台
开发厂商: 微软
收录时间: 2020-01-21
提 交 者: xplanet

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

该研究项目由微软研究中心与伦敦帝国理工学院的合作运行。目前处于初期阶段,尚未准备好在研究之外使用。

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

Verona 的相关博客

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

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

【Rust日报】2020-08-23 Rust 内存容器备忘录

Rapier 一个跨平台2D/3D物理引擎 #rust #graphics Rapier.rs 是一个跨平台的2D/3D物理引擎 支持多平台物理模拟 支持导出/导入...

微软、StackOverflow 开始神吹 Rust?

当今,寰宇天下,掀起了一股神吹Rust之良风。此处,我们就来汇总一下这些神吹文有哪些。 既然是神吹文,要有影响力,那就得是...

【Rust日报】2020-08-24 理解 Rust 的切片

理解 Rust 的切片 在迁移一些 C/C++ 代码到 Rust 过程中, 你是否也对切片的所有权如何从 Rust 中传递给 C 感到困惑 ? 亦或是对...

Linux终端:speedtest_cli检测你的实时带宽速度

你在家(或者办公室)的上传和下载速度如何?你能保证,你支付费用给ISP的同时得到了等价的回报? 要想测试我们因特网连接的速...

微软到底看上 Rust 了没有?

点击上方蓝字关注我们 理清头脑混沌,觉醒心智天地 今天在 知乎文章 微软看上的Rust 语言,安全性真的很可靠吗 评论区看到这样...

微软到底看上 Rust 了没有?

点击上方蓝字关注我们 理清头脑混沌,觉醒心智天地 今天在 知乎文章 微软看上的Rust 语言,安全性真的很可靠吗 评论区看到这样...

former UW defensive back

former UW defensive back

Rust 2019调查报告发布,看看它非主流的原因

从 2019 年下半年至今,不到一年的时间内,Rust 语言确实接二连三地掀起过一些波澜。从微软探索将 Rust 作为 C 和 C++ 的安全...

C++的替补选手:微软是如何应用Rust的?

微软拥有世界上最大的C/C++代码库之一。从Windows、Office到Azure云,微软的所有核心产品都在该代码库上运行。但因为C++不是内...

评论 (0)

加载中
更多评论
0 评论
9 收藏
分享
返回顶部
顶部