> OCaml has the advantage of offering very good performance > while not having to deal with the borrow checker
I believe there are serious efforts towards removing the GIL these days.
The biggest issue is that the runtime still has a global lock, but it is in the process of being removed.