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".
-
-
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 :\
-
I'm surprised these exist at all tbh and would like to read more
-
-
Somehow my brain parsed all occurrences of "Alga" as "Agda" in those two tweets and I was super confused.
End of conversation
New conversation -
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.