Functional programming is about clarity of expression and reduced cognitive load. Aside from FP, the Ocaml type system is better than the mentioned ones. From

Functional programming is about clarity of expression and reduced cognitive load. Aside from FP, the Ocaml type system is better than the mentioned ones. From one hand type inference means you have to write out types much less, and from the other hand the type system is more powerful and lets you express more things than Go/Java.