I think that is exactly what Rust[0] is trying to do.

[0] http://www.rust-lang.org/