Types are great! Two obvious modern industrial-strength choices would be Rust and Haskell, though F#, C#, Swift and even Java 8 are pretty nice in this regard. (Even the anemic type system of C can be a great help.)