Every time i got excited about OCaml and every time I tried, I was overwhelmed by syntax, and the fact that there is no type annotations.

I don't understand how that's "a selling point" for the language, it makes the code even less readable than poorly named un-annotated python.

I d really like to use ut though,i think Haskell is the next closest