Post

In most languages, you hunt allocations down with a profiler and they creep back the moment you touch the hot path. Jane Street's superset of OCaml lets you flip that around: annotate a function with [@zero_alloc] and the compiler refuses to build if anything in its call tree touches the heap.

theconsensus.dev/p/2026/06/27...