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.

49 likes 1 replies