3 ms·
Rust's memory semantics are definitely a kind of 'automatic memory management' though. I mean, that's the whole premise - to have the kind of guarantees about m
by jgilias 4y ago
Rust's memory semantics are definitely a kind of 'automatic memory management' though. I mean, that's the whole premise - to have the kind of guarantees about memory safety that until Rust where only available in GC'ed languages running on some runtime.
- pjmlp 4y agoThere is nothing automatic about compiler errors in lifetimes. As for until Rust, Cyclone and ATS did it first.
- p_l 4y agoNot sure if Cyclone and ATS don't predate it, but Rust's memory management is a bit like 1/3rd of Linear Lisp (specifically, the compil time garbage optimizer)
- pjmlp 4y agoTo be more precise, Rust uses affine types as basis for the borrow checker. https://en.m.wikipedia.org/wiki/Substructural_type_system https://en.m.wikipedia.org/wiki/Substructural_type_system Its biggest achievement is making them more well known to mainstream devs without CS background.