concordo discordando, ocaml tá aí e tbm não é mainstream. até mesmo langs que são funcionais por conveniência, tipo erlang, que é amplamente usada em sistemas críticos, tbm não é mainstream até msm OO, o mainstream é OO de java

Erlang tinha um vídeo maneiríssimo dos anos 1990(?) fazendo propaganda de concorrência e paralelismo na linguagem, legal demais

eu não citei OCaml porque tu vai nas comunidades de Haskell e tem alguma tecnicalidade que faz eles dizerem que não é funcional o suficiente. Mas não é mainstream mesmo, ela só é aquela referência etérea na mente das pessoas

E isso perpetua o javismo cultural (tema do próximo sessão de engenharia com o @carlosenog.dev )