Of course, you are *always* free to add whatever type-annotations you wish
to your program.  But the program's correctness cannot be affected by them
(well, again, for the archaic subset of ocaml extant in ... 1992).  --chet--

On Tue, Jan 23, 2018 at 3: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.\
>