~icefox/garnet#65: 
Borrow checker design

On borrowing temporary values: https://blog.m-ou.se/super-let/

Status
REPORTED
Submitter
~icefox
Assigned to
No-one
Submitted
6 months ago
Updated
4 months ago
Labels
T-DESIGN

~icefox 6 months ago

Syntax is a pain so let's trivialize it: We have two types, Share('a, T) and Uniq('a, T), for shared borrows and unique borrows respectively. Unique borrows can be mutated, shared cannot.

~akavel 4 months ago

Not sure if you've seen it, but IIUC the new post from Niko Matsakis may be of interest here: https://smallcultfollowing.com/babysteps/blog/2024/03/04/borrow-checking-without-lifetimes/ (or not? the contents definitely flies over my head; but I just immediately thought it could possibly be interesting to you in context of Garnet)

~icefox 4 months ago

I did see it, but this reminded me to look at it again. Thanks, it's very promising. Doesn't get too deep but it says there will be a follow-up, so I look forward to it.

On March 5, 2024 9:39:40 AM EST, ~akavel outgoing@sr.ht wrote:

Not sure if you've seen it, but IIUC the new post from Niko Matsakis may be of interest here: https://smallcultfollowing.com/babysteps/blog/2024/03/04/borrow-checking-without-lifetimes/ (or not? the contents definitely flies over my head; but I just immediately thought it could possibly be interesting to you in context of Garnet)

Register here or Log in to comment, or comment via email.