sml, specifically the MLTon dialect. It's good for all the same reasons ocaml is good, it's just a much better version of the ML-language in my opinion.
I think the only thing that ocaml has that I miss in sml is applicative functors, but in the end that just translates to slightly different module styles.
I think the only thing that ocaml has that I miss in sml is applicative functors, but in the end that just translates to slightly different module styles.