Like Rust? Rust does most of those things wrt explicit dangerous behaviour.