What Vale Taught Me About Linear Types, Borrowing, and Memory Safety

B

bakul

I certainly don't mean to make a "case for Rust" (or Vale) but I thought this might provide some insight into Rust's borrow checker etc. Perhaps understanding *why* Rust has these features might make us appreciate them and may be even help us figure out how to provide something similar in other languages.


[edit: recommend the following video if you are interested in linear types etc.]

View: https://www.youtube.com/watch?v=UavYVf0UEoc
 
You must log in or register to reply here.
Back
Top