> OCaml bytecode and native code programs can be written in a multithreaded style, with preemptive context switching. However, because the garbage collector of

> OCaml bytecode and native code programs can be written in a multithreaded style, with preemptive context switching. However, because the garbage collector of the INRIA OCaml system (which is the only currently available full implementation of the language) is not designed for concurrency, symmetric multiprocessing is unsupported. --https://en.wikipedia.org/wiki/OCaml https://en.wikipedia.org/wiki/OCaml Rust has memory-safe concurrency without a GC.