• 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建立了第一个正式的基础”。

现在是2023年，今年Rust标准取得了一些重要进展。
一个RFC for the Rust Standardization在7月10日被接受，因此有一个associated tracking issue。
Rust博客上也有a recent announcement of the standardization initiative。所以希望明年我能回到这个已经将近10年的老问题，并最终给予一个合适的答案。