> Rust with its very strict and expressive type system Tangentially, I find it very interesting how Rust could have had fully inferred types (like OCaml does),

> Rust with its very strict and expressive type system Tangentially, I find it very interesting how Rust could have had fully inferred types (like OCaml does), but chose to require specifying types at function boundaries. It shows a thoughtful balance of what the system can technically do, and what's actually useful to the humans dealing with the code.