Is Rust the first language to feature this borrow checker, memory safe without garbage collection concept? What other languages are there that accomplish the same things memory wise?
You must log in or register to comment.
Rust takes inspiration from substructural type systems. I think most of these languages will be able to implement affine and linear types.