OCaml nunca ha tenido el ruido mediático de Python, JavaScript, Rust o Go. Tampoco suele aparecer en debates populares sobre qué lenguaje aprender primero. Pero lleva décadas ocupando un lugar muy particular en la historia de la programación: el de un lenguaje nacido en el mundo académico que terminó encontrando espacio en finanzas, análisis estático, verificación formal, sincronización de archivos,