mcc@AlgoCompSynth ocaml isn't so bad. it's lacking a couple of the nice things from sml and most of the things it adds are either highly dubious ideas or are extremely useful but are such batshit deep math you'll never use them, but it's not so bad, the package/tooling ecosystem is actually good, PPXes are nice.
A lot of people seem to think the thing after Haskell is Idris.
All GNU social JP content and data are available under the