Under the Hood: Developing Multicore Property-Based Tests for OCaml 5 (opens in new tab)

In 2022, Multicore OCaml became reality. Programming on multiple threads brings new possibilities, but also new complexities. In order to foster confidence in OCaml 5 and retain OCaml's reputation as a trustworthy and memory-safe platform, Tarides has developed and contributed towards a stable multicore environment for the OCaml community to build on. In this article and in the upcoming part two, I describe how we developed for OCaml 5, the challenges we encountered, and the lessons we learne...