DM>Да, с параллелизмом на уровне потоков там туго. Сборщик мусора, работающий в многопоточной программе, намного сложнее и тормознее, поэтому авторы сознательно оставили его однопоточным, а параллелить предлагают на уровне обменивающихся сообщениями процессов, считая shared memory parallelism вообще тупиковой ветвью. Есть проект многопоточного GC для окамла — oc4mc, он вроде работает, но действительно заметно медленнее.

DM>Эта ситуация с потоками — одна из причин, почему я еще не везде отказался от С++ в пользу окамла.

Я правильно понял, что в окамле точно такой же GIL как в питоне?