4 ms·
Experimenting with ways of having automatic memory management without either traditional garbage collection or reference counting, but rather by finding proofs
by PurplePanda 12y ago
Experimenting with ways of having automatic memory management without either traditional garbage collection or reference counting, but rather by finding proofs of nonliveness at compile time. Trying to find under what language restrictions such a thing might be possible.
- thomaslee 12y agoYou may already be aware of it, but sounds something along the lines of lifetimes in Rust: http://rustbyexample.com/lifetime.html http://rustbyexample.com/lifetime.html
- PurplePanda 12y agoThank you, I'll look into it. I haven't studied Rust.