I kinda feel like complaints that using indexing over refs is "bypassing the borrow checker" miss the point. That's like complaining allocation "bypasses the stack".
-
-
yes, I do not mean to say here that Rust does a wrong thing. I'm saying that the complaint is a valid pain point, not the complainee not understanding something.
-
Yeah, I agree that it’s a valid pain point. Type systems that can prove things about doubly linked graphs are so gnarly right now… wish there were more practical work in this area :\
- 4 more replies
New conversation -
-
-
Base + checked index is just an optimized solution for ensuring the validity of pointer addresses at runtime. (One add, cmp, and branch.) It’s possible to do a bit better via mmap tricks, I suppose, but not much better.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.