standards - Rust 是否有已发布的语言格式标准？

Question

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

现在有这样的东西吗？还是仍在进行中？

如果不存在，最接近的资源是什么？

Answer 1

2014 年 1 月的初始响应，比 Rust 1.0 早一年多:

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

大多数事物都有正式的语法，但其中一些不正确且已过时。 Rust reference manual是你最接近你想要的东西。 (并且代码是最正确的规范。)

不要害怕——这种情况会在未来几个月有所改善。

---

2020 年 9 月更新:

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

因为在某个时刻，整个社区都意识到，在短期内没有人愿意付出努力(或者可以证明付出努力是合理的)来制定一个彻底的非正式规范，而制定一个正式规范是在事实上，这是一个非常深入的研究领域，因为我们不会希望按原样形式化临时实现，而是首先为其创建一个合理的模型(然后调整编译器以匹配该模型) .

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

但还是有进步:Ralf Jung 刚刚获得博士学位，他的论文题为 Understanding and Evolving the Rust Programming Language ，其中“介绍了两个为 Rust 建立第一个正式基础的项目”。