The feature in OxCaml that more languages should steal
Summary
The article introduces OxCaml's [@zero_alloc] feature from Jane Street that prevents heap allocations in a function's call tree, with the compiler enforcing zero allocations. It argues this compiler-level guarantee is preferable to post-hoc profiling and outlines how the feature works.