> 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.
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.