Rust 有已发布的语言格式标准吗?

问题描述 投票:0回答:2

我正在对 Rust 编程语言进行一些研究,我试图找到一个权威的发布标准(或者至少是一个功能类似的文档),例如 ECMA 标准或 C++ 标准或类似的标准,它定义了语法语言和图书馆。

这样的事情存在吗?还是还在创作中?

如果不存在,最接近的资源是什么?

standards language-lawyer rust
2个回答
24
投票

2014 年 1 月首次回复,比 Rust 1.0 早一年多:

不,目前 Rust 还没有完善的正式规范。当语言进一步稳定时它就会到来。

大多数事物都有正式的语法,但其中一些是不正确和过时的。 Rust 参考手册 是最接近您想要的内容。 (并且代码是最正确的规范。)

不要害怕——这种情况将在未来几个月内得到改善。


2020 年 9 月更新:

当我第一次写这个答案时,大多数人预计 Rust 1.0 会出现一个粗略的规范——无论如何都不是正式的,也不是听起来的,而是某种规范。情况确实有所改善,并且还在继续改善(参考手册不应再错误或过时,尽管它肯定仍然不完整),但还没有达到提问者和其他人所希望的程度。

在某个时候,整个社区意识到,短期内没有人愿意付出努力(或者能够证明付出努力的合理性)来制定彻底的非正式规范,而制定正式规范实际上是一种非常深入的研究领域,因为我们不想想要将临时实现形式化,而是首先创建一个健全的模型(然后调整编译器以匹配该模型)。

因此优先级发生了变化,rustc 开发人员不打算自己制定任何规范,而只是帮助其他想要实现这一目标的人。我认为人们普遍期望它最终会发生,但只是最终,而不是很快。

但还是有进步的:Ralf Jung 刚刚获得了博士学位,其论文题为 理解和发展 Rust 编程语言,其中“提出了两个为 Rust 建立第一个正式基础的项目”。


0
投票

现在已经是 2023 年了,今年 Rust 标准取得了一些重要进展。

Rust 标准化的 RFC 已于 7 月 10 日被接受。因此,它存在相关的跟踪问题

Rust 博客上还发布了最近宣布的标准化计划。所以希望明年我能回到这个近 10 年前的问题并最终给出正确的答案。

© www.soinside.com 2019 - 2024. All rights reserved.