[steveklabnik]

Most languages do not have a specification, and it works out fine.

Rust's is in-progress. There are some things that are well-specified, and there are some things that are still up in the air.

[moreaccountspls]

Right, which is why it's a poor choice for the kernel at this time.