Anything you can statically prove at compile time is interest you don't have to pay at run time. Rust is a huge, huge win for that reason. It allows for code w

Anything you can statically prove at compile time is interest you don't have to pay at run time. Rust is a huge, huge win for that reason. It allows for code written in a Lisp/OCaml/Nim style that's memory safe without any additional overhead.