In this blogpost, I'm going to show you how the data-race-freedom mode system works on the experimental OxCaml branch of OCaml. I recently took part in a Tarides project to test out these modes to evaluate their potential in making future multi-domain OCaml tools a reality, in particular a...