OCaml’s inference is awesome.
Rust generally only requires type declarations on function signatures, everywhere else is optional in one form or another; considering how rust is designed I’m unsure how well it could infer function types in many cases… Hmm…