legal a menção a F#, gosto muito da sintaxe das linguagens ML (e a inferencia), acho uma pena n ter alguma linguagem do tipo com um grande uso.

• ocaml: ja foi mais usada mas sempre em dominios muitos especificos, e demorou muito pra ter alguns recursos necessarios oq pode ter influenciado a n aumentar o uso
• f#: muitos projetos legais usando isso (tem bibliotecas q impressionates nessa linguagem q n tem em nem mesmo em c#) mas q é totalmente ofuscada pelo c# (e pela pouca atenção da microsoft)

n tem mais nenhuma da familia ML q tem alguma relavancia maior.

acho que a sintaxe combina muito com ciencia de dados, se ler os codigos q os pessoal faz em notebooks/jupyter, as linguagens ML encaixa perfeitamente (pelo menos nos codigos de analise de dados e coisas do tipo, quando coloca os modelos pra rodar dai ficam bem diferentes a aparencia dos codigos)