Хм: "Ranking Functional Programming Languages"

На самом деле это всё одно:

Elm -- это OCaml для детишек.
Haskell -- это ленивый OCaml.
Scala -- это мучительный OCaml :)
Gleam -- это отлакированный OCaml.
F# -- это корпоративный OCaml.

+

Swift -- это хипстерский OCaml.
Rust -- это системный OCaml.
TypeScript -- это веб-OCaml.

SML -- OCaml для бумеров.
Coq -- OCaml для нердов.

Просто выучите OCaml