News for hackers. Stuff that matters.
Re:Some notes on Rust, mutable aliasing and formal verification by the_mitsuhiko on Thursday May 16, 2024 @12:49PM (#40380468)
The reason I think this has low changes of landing has little to do with the rust developers as the complexity of the feature and the invasiveness to the ecosystem.
Re:Some notes on Rust, mutable aliasing and formal verification by littlestymaar on Thursday May 16, 2024 @03:34PM (#40382231)
I mostly agree with your sentiment, but at the same time I remember being quite skeptical of the possibility of Rust getting async/await at all because I saw no way around the lack of immovable types in the language, and I thought it would be way to disruptive to add it. And then Pin came and allowed to work around that issue (don't get me wrong, Pin is a dirty hack and I hate it, but at least it works, even if it makes tge ergonomics questionable for some use-cases…).

Since then reserve my judgment on stuff I think to be impossible.

Re:Some notes on Rust, mutable aliasing and formal verification by CooCooCaCha on Thursday May 16, 2024 @01:49PM (#40381190)
Yeah, like I said it’s a trickle at this point.
Re:Some notes on Rust, mutable aliasing and formal verification by the_mitsuhiko on Friday May 17, 2024 @08:00AM (#40388938)
You're misunderstanding the problem entirely. Even if you could implement it overnight, it would be unlikely to ship.