One thing I love about OCaml is named parameters. I am an explicit kind of guy and ironically even with all the type inferencing OCaml has it is damn explicit of a language (although I sort of prefer ad-hoc poly but oh well). It seems like a pretty trivial thing to have named parameters but there are so many languages that do not have this feature (or have this feature and it breaks something (scala-&gt;java)).