Ferrous Systems 向 Rust 项目捐赠 Ferrocene 语言规范


Rust 基金会发文宣布,Ferrous Systems 已同意将其 Ferrocene 语言规范 (FLS) 贡献给 Rust 项目。

"这笔慷慨的捐赠将为提供官方 Rust 规范提供更清晰的途径。它还将使 Rust 项目能够监督其持续发展,为已经依赖 FLS 的公司和个人提供信心,并标志着 Rust 生态系统的一个重要里程碑。"

众所周知,Rust 一直缺乏一份官方的语言规范。2022 年 12 月,Rust 项目提交了一份 RFC 以鼓励 Rust 项目开始制定规范。该 RFC 于 2023 年 7 月获得批准,并开始工作的推进。起初,Rust 项目规范团队(t-spec)希望以 Rust Reference 为指导,从头开始创建文档。

但考虑到现有的一份被广泛应用的外部 Rust 规范 -- FLS。为避免行业内存在两种高度可见的 Rust 规范而造成的潜在混淆,t-spec 团队决定尝试将 FLS 与 Rust Reference 集成以创建官方 Rust 项目规范。

FLS 是对 Rust 编程语言的描述,由 Ferrous Systems 于 2022 年 7 月开发,Ferrocene 是专为安全关键型和受监管行业设计的 Rust 编译器和工具链。FLS 为 Rust 的语法、语义和行为提供了结构化和详细的参考,可作为验证、合规性和标准化工作的基础。

在经过沟通后,Ferrous Systems 同意将其 FLS 贡献给 Rust 项目,并允许 Rust 项目接管其开发和管理。

公告指出,FLS 集成到 Rust 项目会有一个过渡期。第一阶段的工作将涉及将 FLS 整合到项目的工具和流程中,以符合现有的 Rust 项目目标。

“一旦集成完成,Ferrous Systems 将能够依赖该项目的规范版本并停止使用自己的版本。更广泛地说,这项工作将为其他需要 Rust 规范的人提供官方、权威的参考,帮助他们使用 Rust 编程语言。”


相關推薦

2023-05-05

保关键软件的安全性,防止内存安全漏洞,由 AWS 资助的 Ferrous Systems 和 Tweede Golf 正在联合将 sudo 和 su 从 C 移植到 Rust。 该项目现在托管在 GitHub:https://github.com/memorysafety/sudo-rs 这项工作从去年 12 月开始,计划于 2023 年 9 月

2023-11-18

名代表 operational semantics team 的一名或多名代表 来自 Ferrocene 的一名或多名代表(高可靠性/可用性,例如汽车行业。) Formal Methods Research and Development 的一名或多名代表 Operating System Development的一名或多名代表 (Rust for Linux; M

2023-08-31

保关键软件的安全性,防止内存安全漏洞,由 AWS 资助的 Ferrous Systems 和 Tweede Golf 正在联合将 sudo 和 su 从 C 移植到 Rust。 据介绍,Prossimo 对于选择的软件会重点关注以下方面: 使用非常广泛(几乎每个服务器 / 客户端都在

2022-04-03

Rust 基金会推出一个 2022 年社区资助项目,对 Rust 社区现有资金生态系统的补充;此次预算共 62.5 万美元,由 AWS、华为和谷歌捐赠。 该计划的目标在于: 支持 Rust 的维护者。“我们知道,许多人在志愿的基础上奉献了大量的

2024-10-05

的使命以及这笔钱的具体用途。 在过去的几年中,Zig 项目的采用率和贡献者数量都得到了显着增长,以至于开发活动的数量已经超过了我们获得的捐款数量。我们目前有越来越多的 PR 需要审查,并且有一批有资格完成这项

2022-10-21

谷歌宣布将其 Go 应用镜像构建器 ko 作为沙箱项目提交给 CNCF。ko 是谷歌在 2019 年开源的 Go 应用程序的简单、快速和安全的容器镜像构建器,最近还添加了一些新功能,包括多平台支持和自动 SBOM 生成。 就像谷歌

2022-11-15

生成实体现在比以前更简单、更符合直觉 重做 Exclusive systems:Exclusive systems(具有独特 ECS World 访问权的系统)现在只是 "正常" 的系统,其可用性得到了显著的改善。 Bevy Reflect 现在可以反映枚举类型 Time Shader:时间现在可

2023-04-24

季度报告,介绍了从 2023 年 1 月到 3 月的主要工作内容和项目进展。 报告首先总结了去年的财务状况:2022 年总共筹集了 1231096 美元,但并未完成 130 万美元的筹款目标。今年的财务预算约为 223 万美元,包括增加 FreeBSD 宣传和

2022-03-18

交了一个,继续推进在 Linux 内核中增加对 Rust 作为第二语言支持。 一些 Rust for Linux v5 的更改包括: 工具链和 alloc 已经升级到了 Rust 1.59.0。这个版本稳定了 feature(global_asm) 以及 Csymbol-mangling-version=v0 flag。 添加了对用 Rust 编

2022-07-23

Web 性能、用户体验和开发人员体验的 Web 框架和 Web 工具项目。 这些项目包括: Nuxt.js - 用于构建 Vue.js 应用程序的固执己见的 Web 框架 Vue.js & Vite - 渐进式 JS 框架和现代前端工具栈 Astro - 用于构建快速、以内容为中心

2023-01-19

获 20K+ 的关注,合计收获 23K+ 的关注,目前在 Rust 开源项目排行榜中排名 #6 ,2022 年的表现仅仅低于年度热门明星项目 Tauri,同时也跻身 2022 年第三季度开源初创成长国际排行榜 #10 。总体而言我们在 GitHub 上的数字成长非常

2023-04-02

选择器 ( <space>S ) 是 LSP 驱动的功能,用于在项目中查找符号。但是,大型项目可能有很多符号,因此此符号选择器通常不会一次加载所有符号。 工作区符号选择器已在此版本中重新设计,以便在选择器中键入时使

2024-08-06

TRACTOR 的开发。TRACTOR 是 TRanslating All C TO Rust 的缩写,该项目旨在开发机器学习工具,自动将旧 C 代码转换为 Rust 代码。 DARPA 表示希望能够通过 AI 模型推动编程语言的转换,从而使软件更加安全。TRACTOR 的 DARPA 项目经理 Dan Walla

2023-02-01

的支持。近日,一组由 RISC-V 初创公司 Ventana Micro Systems  提供的 Linux 内核补丁为 RISC-V 处理器架构提供了基本的 ACPI 基础设施支持。 ACPI 全称 Advanced Configuration and Power Management Interface,高级配置和电源管理接