OCaml 5.5.0 se ha publicado el 20 de junio de 2026, marcando la primera versión mayor desde la introducción del runtime multicore en la rama 5.x. El lanzamiento incluye mejoras de rendimiento en el compilador, una nueva API para efectos asíncronos y una actualización del gestor de paquetes que simplifica la instalación en Windows. La noticia completa está en el anuncio oficial de la comunidad OCaml 5.5.0 released.
Qué es OCaml 5.5.0
El proyecto se aloja en github.com/ocaml/ocaml, escrito en OCaml y con más de 7 000 estrellas. La versión 5.5.0 corrige varios cuellos de botella del compilador flambda, añade soporte nativo para la extensión -no-assert y mejora la interoperabilidad con C a través de la nueva herramienta camlp4. En comparación, la rama 4.x carece de soporte para los hilos ligeros (domains) y la gestión automática de efectos, mientras que la rama 5.4 introdujo los primeros experimentos con efectos; 5.5 consolida esas funcionalidades y las hace accesibles en la API estándar.
Por qué importa ahora
Desde la aparición de los runtimes de concurrencia en Rust y Go, la comunidad ha buscado una alternativa funcional con rendimiento comparable. OCaml 5.0 abrió la puerta al paralelismo, pero los dominios seguían siendo poco usados por la falta de bibliotecas maduras y una curva de aprendizaje elevada. La llegada de 5.5 incluye una biblioteca estándar de sincronización (Stdlib.Domain) y una integración con la herramienta de benchmarking benchmark.ml que permite comparar directamente con soluciones basadas en Tokio o Rayon. Además, el ecosistema de compiladores JIT (por ejemplo, ocaml-jit) ha crecido, y la mejora de la generación de código nativo reduce la brecha de rendimiento en un ≈ 10 % en pruebas de micro‑benchmark. Estas mejoras coinciden con la adopción creciente de OCaml en la industria financiera y en la investigación de verificación formal, donde la capacidad de ejecutar tareas en paralelo sin sacrificar la seguridad del tipo es crítica.
Detalles técnicos y qué significa para ti
La actualización más visible es el nuevo optimizador flambda v2, que reordena bloques de código para minimizar las asignaciones de heap. El compilador ahora emite código de máquina con alineación de 16 bytes por defecto, lo que mejora la cache locality en arquitecturas x86‑64. La API de efectos asíncronos se ha estabilizado bajo los módulos Stdlib.Effect y Stdlib.Async, permitiendo escribir código como:
let fetch url =
Effect.perform (Async_io.read_url url)
La instalación sigue siendo tan sencilla como siempre:
opam update
opam switch create 5.5.0 ocaml-base-compiler.5.5.0
“OCaml 5.5.0 focuses on performance, stability, and tooling improvements, delivering a production‑ready multicore experience.” – notas de lanzamiento
En la práctica, la versión 5.5 es adecuada para proyectos que necesiten concurrencia ligera sin abandonar la fuerte tipificación. Los sistemas de trading de alta frecuencia y los compiladores de lenguajes dependientes pueden aprovechar los dominios para paralelizar análisis sin bloquear el recolector de basura. No obstante, los entornos con restricciones de espacio de memoria muy estrictas seguirán prefiriendo la rama 4.x, ya que la gestión de dominios introduce una sobrecarga de pila que, aunque reducida, sigue siendo significativa en dispositivos embebidos.
Bottom line: OCaml 5.5.0 convierte el soporte multicore en una característica de producción, cerrando la brecha entre la programación funcional y los modelos de concurrencia dominantes.
Ver también: OCaml 5.0 release notes · Multicore OCaml blog post