In a section describing Rust's weaknesses, cheats.rs says:
no formal language specification preventing use in some domains (aviation, medical, ...)
Drew DeVault also raises that point in an article arguing against using Rust as a replacement for C.
This discussion provides great resources for watching that effort progress. But I don't understand why this is bad. So, to my actual questions.
- in your personal experience, what negative consequences have you seen from languages lacking a formal specification?
- in the history of software development where has this caused problems and what kind of problems were they?
Feel free to answer either or both.