Does Rust need a formal specification for the language? I wonder if all it really needs is a formal specification for the instructions the MIR produces and what GCC or LLVM need to do with those.
-
-
Replying to @benj_fry
If this was easy that will help to fix a lot of `I-unsound`s from the issue list tbh.
1 reply 0 retweets 0 likes -
Replying to @vertexclique
Easy? I didn’t mean to imply it was easy. I was just questioning which level of the language needs specification. MIR might be more attainable?
2 replies 0 retweets 1 like -
Replying to @benj_fry @vertexclique
Sealed Rust is nice effort in this direction https://ferrous-systems.com/blog/2019-06-05-sealed-rust-the-pitch.html …
1 reply 0 retweets 1 like -
-
1 reply 0 retweets 0 likes
https://ferrous-systems.com/blog/sealed-rust-the-pitch/ … is the current URL, did you pull the other one from somewhere?
0 replies
0 retweets
2 likes
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.