logoalt Hacker News

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

22 points • by verdagon • yesterday at 12:11 PM • 4 comments • view on HN

Comments

gnarlouse • today at 1:05 AM

I have no help to offer, but as a bystander who loves Rust I am very hopeful good things come of this for you @verdagon!

verdagon • yesterday at 12:18 PM

Figuring out how to make this was a pretty wild ride. I had zero clue how to approach this, so I went into the mountains with pencil and paper until I figured something out.

I started with a sort of "compile-time generational references" approach, where every reference would also remember when it was made, at compile-time. Then that evolved into a couple more things until I finally figured out this reverse approach. We'll see if it sticks.

Hope you all enjoy!

CoalitionOfPity • yesterday at 12:22 PM

I just wanted to take the time to compliment this note in your blog: > My stance: if you want someone to take the time to read something, take the time to write it by hand.

➕ show 1 reply