These are parallel branches of the same language family, along with Haskell. They are relatively popular but I can't say they flourish. Besides, SML always was

These are parallel branches of the same language family, along with Haskell. They are relatively popular but I can't say they flourish. Besides, SML always was the cleanest and most consistent of the bunch. Which kind of supports my point: it's not always the best language that wins.