Have you checked out the Rust programming language by Mozilla (rust-lang.org)? It it a systems programming language with many safety features (no null pointers, const/immutability by default, built...