News for hackers. Stuff that matters.
Re:Do we need a “Rust Standard”? by Gwypaas on Thursday October 27, 2022 @07:37AM (#33356077)
If what you've created is unsound, then that is a compiler bug. Or you depend on something using unsafe which is unsound. Therefore you should, in both cases, appropriately report it.
Re:Do we need a “Rust Standard”? by torstenvl on Friday October 28, 2022 @11:24AM (#33372566)
There is literally no such thing as a compiler bug in a language defined by "whatever the compiler does." The compiler is always, tautologically, correct.
Re:Do we need a “Rust Standard”? by tga_d on Friday October 28, 2022 @11:41PM (#33380761)
By that reasoning specifications can't have bugs either. Sure, by some extreme prescriptive understanding of what a compiler or specification is, there are no bugs, but if a cryptography specification allows attacks in the threat model or rustc segfaults, all but the most asinine parties would agree there's a bug -- what's the point of asserting otherwise?
Re:Do we need a “Rust Standard”? by GolDDranks on Monday October 31, 2022 @11:44PM (#33416641)
You are being pedantic here; this stance doesn't survive contact with the real world. The fact that Rust's language reference is not complete/up to date, doesn't mean that Rust is defined _just_ by "whatever the compiler does." There are community-wide accepted documents (the reference, Rustonomicon, RFCs, and more informally, Language/Compiler team meeting notes/comments that reflect their consensus about the semantics) how Rust _ought_ to work.