[PurplePanda]

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]

You may already be aware of it, but sounds something along the lines of lifetimes in Rust:

http://rustbyexample.com/lifetime.html

[PurplePanda]

Thank you, I'll look into it. I haven't studied Rust.