I'm not too clear on the details since I don't know the language, but I think that Rust's (http://www.rust-lang.org/) concept of "ownership" does something very similar to what you're suggesting.