The Rust type system helps you catch logic errors at compile time. Same with Haskell or Ocaml.