La función de OxCaml que más lenguajes deberían copiar

OxCaml, el superset de OCaml desarrollado por Jane Street, incorpora una función que obliga al compilador a garantizar que una función completa no realiza asignaciones en el heap. Basta con anotar el código con [@zero_alloc]: si cualquier parte del árbol de llamadas reserva memoria, la compilación falla con un mensaje explícito. Esto invierte el flujo de trabajo habitual en la mayoría de lenguajes, donde el desarrollador recurre a un profiler para localizar asignaciones en rutas calientes, las elimina o minimiza, y vuelve a empezar cada vez que edita una línea y reaparecen las asignaciones. En C, C++, Java, Go, C#, Rust, Zig o el propio OCaml, esa disciplina depende de convenciones (por ejemplo, no pasar un allocator en Zig) que pueden ignorarse; OxCaml, en cambio, lo convierte en una verificación estática integrada en el compilador, sin necesidad de análisis externo. No existen, según el artículo, lenguajes extendidos que ofrezcan esta garantía dentro del propio compilador. El texto promete detallar el funcionamiento interno de la anotación, aunque el cuerpo principal queda restringido tras una suscripción de pago. La pieza forma parte de The Consensus, publicación centrada en infraestructura de software, y se acompaña de un boletín semanal con ofertas de empleo y rondas de financiación en el sector.