There was a Revised Syntax (not sure if it's still a thing) which smooths out some of the most egregious warts. It requires preprocessing, but it was part of th

There was a Revised Syntax (not sure if it's still a thing) which smooths out some of the most egregious warts. It requires preprocessing, but it was part of the standard distribution last I looked. The most egregious for me was actually ;; being so close to ; to type and you'd be staring at weird type errors for ages before realizing what had gone wrong. I realize that this may be hard to convey to people who haven't used OCaml, but: The ;; terminates a top-level definition -- which was usually type-inferred when I was using OCaml... so it would lead to all sorts of "weird" type errors, when all that was missing was a simple ; EDIT: Just for context, last looked (seriously) at OCaml ~15 years ago, last wrote it ~20+ years ago. It's cool, but it ended up just being my gateway drug to Haskell... for which I thank it :)