Exploring Static Data Race Freedom in OxCaml
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 m…