Unpopular opinion: What it means for a language to “have a spec” is so ambiguous as to be meaningless in practice.
-
-
Galaxy brain: rename the Rust compiler source to the Rust spec
-
I know you kid, but honestly using Miri as a starting point for a Rust spec wouldn’t be a bad idea when it comes to specifying the precise invariants around unsafe code
- 4 more replies
New conversation -
-
-
IMO this is a case in which Rust’s historical conservatism of wanting to make sure something isn’t called a “specification” unless it’s some perfect model of formalism leads people to inaccurate conclusions that the language “has no spec”.
-
I can take some credit/blame for making a reference that was neither close enough to a spec to be called such, nor far enough to grow into a document people cared for. Historically it's been a document deeply under-invested in. Like .. for the whole length of the project.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.