If you use a powerful type system like Ocamls's, your can make many error states unrepresentable. This is basically impossible to do in Java. Moreover, in OCam

If you use a powerful type system like Ocamls's, your can make many error states unrepresentable. This is basically impossible to do in Java. Moreover, in OCaml it is idiomatic to use type inference everywhere except for interface files, so in practice you almost never annotate types.