Hi,

On Tue, Jan 23, 2018 at 6:14 PM, Hendrik Boom <hendrik@topoi.pooq.com> wrote:
I'm starting to think that the ability to write OCaml programs without
mentioning the types is a drawback in the language, because it makes
programs hard to understand.

 It's a tooling issue. If your editor can show you type hints and jump to definitions on demand, you no longer have this problem. Yes, you still can't see the types while the code is on GitHub, but that is not insurmountable. Browser extensions nowadays are perfectly capable of downloading and locally storing typing information and displaying it on hover. I believe the tooling will be built when the need is acute enough.