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.
[ Parent
| on HN ]
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.