Safe Systems Programming
Rust seems like a good choice for systems programming. See this recent post for an example of the safety afforded by using Rust instead of C. Another language that deserves consideration is OCaml, where forking a process looks like this:
continue