You can write explicit types in OCaml, it's actually quite smooth. Over the years my style has evolved towards that and now I almost always write at least the r

You can write explicit types in OCaml, it's actually quite smooth. Over the years my style has evolved towards that and now I almost always write at least the return type when I write a function!