Rust 标准团队总算成立,但不会干涉言语发展

Rust 领导层成立了一个标准团队,迄今为止在没有标准的情况下蓬勃发展的编程言语 Rust 总算有了标准的关键一步。

这是对上一年 6 月 RFC(征求意见)的落实,该 RFC 提出了 rust 是否想要一个标准的讨论。

新团队有四名成员,Joel Marcey 是编辑,Felix Klock 和 Maras Bos 是团队担任人,Eric Huss 是团队成员。Bos 是开始 RFC 的作者。

根据该团队的开始公告,他们将由利益相关者指导,包含 Rust 言语团队的所有成员,以及其他人,包含操作系统的一名或多名代表,特别是 Linux 和 Windows。

今年 9 月,微软在 Rust 上发布了 Windows 驱动程序开发的前期代码。

标准团队和言语团队之间的关系并不是照搬其它言语的组织架构

例如,在 C 和 C++ 中,标准委员会界说言语,而完成者构建编译器或许仅仅标准的部分完成,也或许扩展它。Java 有一个社区进程,它供给了一个官方标准。

不过,Rust 标准团队表明,“Rust 言语界说的权利依然把握在相关团队手中,例如言语团队和库 API 团队。这与标准团队的开始方针不谋而合,该团队指出:“咱们估计标准的前期版别将主要专注于供给当前 Rust 版别的详细描述。

能够说,假如标准团队不担任“Rust 言语的界说”,那么它就不完满是一个通常了解的标准团队,尽管它供给的内容读起来更像是标准而不是文档。

这个问题一向争论不休,一位社区成员问道:“假如终究的真相依然是’不管 rustc 做什么’,那么首先制定标准的含义安在? 另一位团队成员的答复是“假如 rustc 与标准不同,那就是其中任何一个的错误,需求根据具体情况确定是哪一个。

尽管如此,该团队仍将努力使任何寻找言语问题答案的 Rust 程序员都能够拜访该标准。该团队还承认,其开始的作业或许存在距离,但估计这些距离会随着标准的发展而削减。

那么,标准将怎么与言语保持同步?

Rust 现在的发布周期为 6 周,这个快速的周期或许会将标准抛在后面。“Rust 版别将独立于标准批准过程进行” 新团队表明,即便这意味着“该版别将在没有相关标准的情况下发布”。不过,当涉及到大到足以称为“言语功用”的变化时,有人企图划清界限。期望终究更新的标准将与发布节奏同步交给。

标准团队的成立是第一步,而 Rust 的完整标准的概念还有一段距离。假如它来了,那仍将是有价值的。有评论说:“我信任我的雇主……现在被 C 言语困住了,由于没有咱们能够在 Isabelle 中忠诚地表明的官方形式标准,具有一个精确的数学界说将有助于我为咱们小组选用 Rust 进行验证作业供给论据。Isabelle 是证明数学公式的工具。

精确性很重要,虽然标准问题不会困扰大多数开发人员,但具有一个标准文本,将有或许提高言语的价值。