A new way to think about borrow checking (in reverse)

Languages ∩ Architecture Github RSS Bluesky Mastodon r/valen Discord A New Way to Think About Borrow Checking (In Reverse) Travel backwards in time, so that you already know the future Oct 18, 2026  —  Evan Ovadia Have you ever had a weird idea, and then it worked, but you can't really believe it? That's what I'm feeling right now, about Valen's borrow checker. Because it travels backward through time. Or, to be less dramatic, it walks functions backwards, which is still very weird. Ye