Re:11 year old unsoundness bugs found in Rust borrow checker
by csande17 on Tuesday October 13, 2026 @12:29PM
(#50074401)
The true specification was inside our hearts all along!
Re:11 year old unsoundness bugs found in Rust borrow checker
by Ar-Curunir on Tuesday October 13, 2026 @01:13PM
(#50075197)
I mean yes, part of our understanding of systems is a social one!
Re:11 year old unsoundness bugs found in Rust borrow checker
by csande17 on Tuesday October 13, 2026 @04:14PM
(#50077992)
[delayed]
Re:11 year old unsoundness bugs found in Rust borrow checker
by eru on Tuesday October 13, 2026 @01:52PM
(#50075799)
Haskell is in a similar boat with regards to a missing formal spec.
Re:11 year old unsoundness bugs found in Rust borrow checker
by tome on Tuesday October 13, 2026 @04:41PM
(#50078408)
There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI
You seem to be implying that because of this, Rust has no definition of its type system (other than whatever happens to be implemented in the current compiler). I would disagree.
As evidence, I would like to point out that not a single person argued that this flaw was not a bug, but was in fact the officially defined behavior. Clearly, the community has a shared understanding of what Rust's type system "ought" to do.