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 是证明数学公式的工具。

精确性很重要,虽然规范问题不会困扰大多数开发人员,但拥有一个规范文本,将有可能提高语言的价值。

相关推荐
许野平13 小时前
Rust: enum 和 i32 的区别和互换
python·算法·rust·enum·i32
前端小魔女16 小时前
2024-我赚到自媒体第一桶金
前端·rust
用户4694651597831 天前
Rust使用tracing记录日志
rust
编码浪子1 天前
构建一个rust生产应用读书笔记7-确认邮件2
开发语言·后端·rust
songroom1 天前
Rust: offset祼指针操作
开发语言·算法·rust
唐 城2 天前
curl 放弃对 Hyper Rust HTTP 后端的支持
开发语言·http·rust
从善若水2 天前
【2024】Merry Christmas!一起用Rust绘制一颗圣诞树吧
开发语言·后端·rust
gerrylon0072 天前
rust学习: 有用的命令
rust
brrdg_sefg2 天前
Rust 在前端基建中的使用
前端·rust·状态模式
m0_748230942 天前
Rust赋能前端: 纯血前端将 Table 导出 Excel
前端·rust·excel