What was the common research interest between Rust team and Ron Garcia? Is it about "permission"?
In his paper, "permission" is defined as "a lightweight way to specify how an object may be aliased, and whether those aliases allow mutation". This sounds awfully close to Rust's borrowed pointers. I read about Mezzo, another permission-based programming language, before working on Rust, and Rust's system always reminded me of Mezzo.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Permission
Date: 2013-05-15 02:25 pm (UTC)In his paper, "permission" is defined as "a lightweight way to specify how an object may be aliased, and whether those aliases allow mutation". This sounds awfully close to Rust's borrowed pointers. I read about Mezzo, another permission-based programming language, before working on Rust, and Rust's system always reminded me of Mezzo.