а какие переходные ЯП есть между божественным Haskell'ом и простым народным Python'ом?
вот про elixir и Scala что скажешь?
Scala очень вербозная, ФП не так красиво в неё ложится, как в хаскель, jvm-проблемы могут возникать, но в целом ок, можно даже какие-то преимущества найти по сравнению с хаскелем