Я бы предложил вам добавить в список для рассмотрения Ocaml или F# (по сути это почти один язык)
- оба этих языка похожи на Scala, тем, что совмещают FP и OOP да и в целом сильно похожи, есть даже вот такое сравнение вместе с haskell:
Languages with Type Inference: OCaml, F#, Scala, H...
- оба в неплохо развиваются в последнее время.
Но в отличии от скалы эти языки намного более лаконичны и просты, а в отличии от хаскела там при необходимости можно применять привычные методы работы.
Про тягости выбора рекомендую почитать вот это:
Replacing Python: Candidates Replacing Python: Second Round
Clojure, Common Lisp, Scheme - я бы предложил оставить на потом тк в них нет мощной системы типов, разве, что можно вскользь познакомится с общими принципами лиспов тк не мало статей где базовые принципы FP рассматриваются на примере scheme.
Если судить по irc каналам Clojure сейчас дико популярна, больше чем скала примерно на уровне Haskell.