Вообще, насколько я понимаю, беды с многопоточностью, традиционные - это от бедности. Вот например окамл тоже долго был однопоточным, да и сейчас у него проблемы. А почему?
Представим себе европейского учОного. Это такое существо на бюджетном подсосе и в бюджетном же жилье. Нечто вроде героев Гофмана или Андерсена (которого сказки). Сюртук, сутулость и бедность, причем это у них поколениями. Принято так.
И возьмём учёного-американца. На пикапе, с большим американским домом и женой-блондинкой.
Как же эти люди выглядят в сравнении? Да как virgin xxx и chad yyy из известного мема.
Ну и у кого из них хватит денег на нормальное железо, на что-то многопроцессорное? Разумеется, у американца.
Поэтому и ocaml не взлетел.