Rust 采用 Ferrocene 语言规范
Rust Adopting Ferrocene Language Specification

原始链接: https://lwn.net/Articles/1015636/

Rust 项目将采用 Ferrous Systems 开发的 Ferrocene 语言规范 (FLS) 作为其核心项目的一部分,这是 Rust 发展中的一个重要举措。此举解决了长期以来人们对缺乏官方 Rust 规范的批评,这一缺失一直阻碍着 Rust 在安全关键型行业中的应用和替代实现的创建。FLS 专为安全关键环境中的资格认证而设计,现在将由 Rust 项目本身维护。Ferrous Systems 慷慨地捐赠了 FLS,标志着双方共同努力,以进一步推动 Rust 在这些严苛领域的发展。这一举措代表着 Rust 迈向更广泛接受和应用的重要一步,尤其是在正式规范至关重要的领域。这是一种务实的标准化方法,增强了 Rust 在安全敏感领域的吸引力。

Hacker News 的讨论线程关注 Rust 采用 Ferrocene 语言规范 (FLS)。一个主要的担忧是 FLS 的不完整性和潜在的“bug”,尤其是在 unsafe 操作的语义方面。用户 mjw1007 详细说明了之前提交的关于函数调用的问题,指出虽然一些具体的 bug 已经被修复,但更广泛的差距仍然没有解决。Ferrous Systems 的 Xylakant 解释说,FLS 的目标是足以进行编译器认证,而不是 Rust 的完整描述。他们希望社区能够在 Rust 项目采用 FLS 之后,共同填补剩余的空白。其他评论者强调了 FLS 有可能为漏洞检测提供强大的工具。一些人认为 Rust 不会完全取代 C 和 C++ 在某些领域,例如 GPGPU、游戏主机和 GUI 开发,一位评论者指出 GUI 是 Rust 不容易交互的领域。
相关文章
  • 官方资格 - 二茂铁 2023-11-10
  • Rust 文件系统 2024-07-16
  • (评论) 2023-12-10
  • (评论) 2024-04-27
  • Rust 值得吗? 2023-10-27

  • 原文

    One recurring criticism of Rust has been that the language has no official specification. This is a barrier to adoption in some safety-conscious organizations, as well as to writing alternate language implementations. Now, the Rust project has announced that it will be adopting the Ferrocene Language Specification (FLS) developed by Ferrous Systems and maintaining it as part of the core project. While this may not satisfy die-hard standardization-process enthusiasts, it's a step toward removing another barrier to using Rust in safety-critical systems.

    It's in that light that we're pleased to announce that we'll be adopting the FLS into the Rust Project as part of our ongoing specification efforts. This adoption is being made possible by the gracious donation of the FLS by Ferrous Systems. We're grateful to them for the work they've done in assembling the FLS, in making it fit for qualification purposes, in promoting its use and the use of Rust generally in safety-critical industries, and now, for working with us to take the next step and to bring the FLS into the Project.


    联系我们 contact @ memedata.com