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".
-
-
Somehow my brain parsed all occurrences of "Alga" as "Agda" in those two tweets and I was super confused.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I think alga is really intriguing, but I don't think it's really a type system for graphs? (By doubly linked graphs I think you also mean to imply "mutable", whereas these aren't?) (The PALE stuff might be closer? http://www.brics.dk/PALE/ )
-
(I think we already had a conversation on here at one point where I thought you were the one who originally linked me to that, you didn't have any recollection of it, and it turned out I was misremembering and it was actually... cwzwarich maybe? Brains are weird.)
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.