Using OxCaml to implement type-safe reference counting between OCaml and Python

Jane Street is known for being an OCaml shop, but for years now Python has been our second
major programming language, acting as the primary tool for data analysis and (especially
importantly these days) machine learning. Most of our traders and researchers think and
write in Python, even as the majority of our infrastructure is written in OCaml.