I am planning on looking into more reference material eventually, but I prefer to do that after reading tutorials and writing code, as a way to answer the questions that I have.
And yes, the lack of a spec is a weakness in Rust. We've been working on it for a while, and are gonna push it even harder this year.
> Without spec you cannot even tell compiler bugs from intended behaviour.
So this is true, but it's also a bit more subtle than that. For example, "there should be no undefined behavior in safe Rust" is a design principle that, while we don't have a spec, can say if something is a bug or not. (And we do have a few of those bugs.) This is, of course, not as good as a full spec, but guiding principles can really help.
And yes, the lack of a spec is a weakness in Rust. We've been working on it for a while, and are gonna push it even harder this year.
> Without spec you cannot even tell compiler bugs from intended behaviour.
So this is true, but it's also a bit more subtle than that. For example, "there should be no undefined behavior in safe Rust" is a design principle that, while we don't have a spec, can say if something is a bug or not. (And we do have a few of those bugs.) This is, of course, not as good as a full spec, but guiding principles can really help.