In other words, in OCaml, you don't have to write type annotations into the function parameter list. It will infer even those.
It's useful for small ad-hoc functions, but personally, I'm glad that Rust is more explicit here.
yeah structs, consts ets should always be explicit, prevents a lot oh headache
also, for adhoc stuff rust has closures which can be fully inferred (but you need to convert them to explicit function pointers for storage in structs/consts)
Feel like this joke would work better with TS | JS. Since that's the point of the former. I don't know how rust and ocaml are related?
The initial creator of Rust, Graydon Hoare, took lots of inspiration from OCaml. In fact, the first Rust compiler was written in OCaml.
JS doesn't do any type inference. Ocaml Connor l type checker knows all the types and is completely type safe without type annotations.
I remember learning Caml in (French) university in 1996, it was brand new and from INRIA guys, I understood about nothing about it :)