OCamlにも今CPythonで外すとか外さないとか議論になっているGILがあったんですが、10年近く続いたMulticore OCamlプロジェクトの成果をマージしたOCaml 5.0が2022年末にリリースされてGILがなくなりました。その結果、非同期IO・並列IOライブラリのEioや並列処理に適したデータ構造を提供するSaturn、ロックフリーSTMライブラリのKcasなど、色々な試みが活発に進められていて今アツいです。あと、OCaml 5.0は既存コードの性能をなるべく落とさずC FFIも壊さずに並列GCを実装したりしてて面白い。OCamlを始めるなら今!