3 ms·

No real argument about this, seems to be essentially true. I just have never cared about anything in this article while writing Rust. The maturity I care far mo

• singron 6y ago
  The lack of a language spec hurts, but it's gotten better. E.g. there used to be no formal rules about what was OK to do in an unsafe block. There was a general idea that you shouldn't use different mutable references to the same thing at the same time, but in practice it was hard to tell what that really meant. Then they came up with Stacked Borrows, which is a formal specification for exactly that problem. Miri can even interpret your program and dynamically check that you don't violate Stacked Borrows. The Go language spec is really awesome, but the core language is so much simpler, so it was probably a lot easier to come up with. E.g. if the spec included every detail about escape analysis, pragmas, assembly, and cgo, it would be significantly longer and more difficult to maintain.