35 noticias
El artículo técnico explora la implementación de una estructura de datos que garantiza la ordenación de las listas en el lenguaje OCaml, respondiendo a una propuesta de Antonin Décimo para mejorar la seguridad de tipos. Aunque la librería 'nel' ya existía para gestionar errores no vacíos, la discusi
Los sistemas de programación modernos presentan una confusión persistente entre los typeclasses, presentes en lenguajes como Haskell o Rust, y los sistemas de módulos, típicos de OCaml. Aunque ambos mecanismos comparten una base técnica común, sus objetivos semánticos son distintos. Los typeclasses
Signals and Threads, el podcast técnico de Jane Street, estrena un episodio centrado en ingeniería de rendimiento. Ron Minsky entrevista a Andrew Hunter, ingeniero de software del equipo de datos de mercado de Jane Street, con experiencia previa de siete años en Google, donde fue tech lead de tcmall
Este artículo explica cómo combinar dos tecnologías del ecosistema del software libre —NixOS y MirageOS— para desplegar servicios de red reproducibles y seguros, tomando como caso de uso un servidor DNS autoritativo. MirageOS es un framework de library operating system que permite compilar aplicaci
Simon Peyton Jones, cocreador del lenguaje de programación Haskell y figura clave de la investigación en lenguajes funcionales, protagoniza una entrevista extensa en el pódcast The Peterman Pod, conducido por Ryan Peterman. La conversación, de casi hora y media, recorre la filosofía de la programaci
El verano de Lucas Ma, bajo la tutela de Anil Madhavapeddy, giró en torno a una idea ambiciosa: usar el sistema de efectos del lenguaje OCaml, introducido en la versión 5.0, para convertir el propio compilador en una biblioteca bajo demanda, un "servicio de compilación" de larga vida. El reto no es
Bonsai es una biblioteca de interfaz de usuario desarrollada por Jane Street para construir aplicaciones web reactivas y de alto rendimiento en OCaml, en parte inspirada en Elm. Se emplea en prácticamente todas las aplicaciones web internas de Jane Street, desde la guía corporativa hasta herramienta
Los métodos guarded permiten asociar restricciones al receptor (self) únicamente a métodos concretos, de modo que solo puedan invocarse cuando el receptor cumpla dichas restricciones. OCaml no admite esta construcción de forma nativa en su sintaxis, pero el artículo muestra cómo codificarla mediante
En un artículo técnico extenso, un investigador especializado en verificación formal argumenta por qué Rocq sigue siendo, en su práctica diaria, una herramienta más adecuada que Lean para la verificación de programas, aunque concede que Lean ha ganado tracción en la formalización de matemáticas, sob
Xavier Leroy, investigador francés del Inria y creador del lenguaje de programación OCaml, protagoniza una entrevista en profundidad en el podcast The Peterman Pod, conducido por Ryan Peterman. El episodio, de una hora y veinticuatro minutos, recorre la trayectoria de Leroy en compiladores, lenguaje
En la era de la generación de código asistida por inteligencia artificial, se ha extendido la percepción de que el dominio profundo de los lenguajes de programación ha quedado obsoleto. ¿Para qué invertir años en entender sus matices si una IA puede producir código en cualquier lenguaje bajo demanda
Este artículo narra la experiencia de un programador que, tras años vinculado a Haskell, decide explorar OCaml y, en particular, la biblioteca de concurrencia Eio. El autor repasa primero los recursos formativos consultados: empieza con "Real World OCaml", cuyo uso de la biblioteca Base de Jane Stre
Soteria Rust es una herramienta de ejecución simbólica escrita en OCaml que verifica programas Rust recorriendo cada camino de ejecución para detectar comportamiento indefinido y errores de aliasing. Durante un benchmark rutinario, los desarrolladores observaron que un bucle sencillo que incrementa
Incremental es una biblioteca de programación que permite construir cálculos complejos capaces de actualizarse de manera eficiente cuando cambian sus datos de entrada. La herramienta está inspirada en los trabajos de Umut Acar y otros autores sobre computación autoajustable, una técnica que persigue
El ingeniero Dwight VandenBerghe sostiene que los lenguajes de la familia ML —especialmente OCaml y, en menor medida, SML/NJ— ofrecen una combinación de características que los hacen especialmente adecuados para desarrollar compiladores. El artículo, publicado en 1998 en el grupo comp.compilers, rep
Jacquard es un pequeño lenguaje de programación desarrollado por FriendMachine como proyecto de investigación orientado a un escenario en el que la mayor parte del código lo escriben modelos de aprendizaje automático y lo revisan personas. Su superficie sintáctica compacta (.jac) se apoya en un comp
Neel Krishnaswami y Jeremy Yallop, de la Universidad de Cambridge, presentan en PLDI '19 (Phoenix, 22–26 de junio de 2019) un trabajo que reconcilia dos tradiciones de la construcción de analizadores sintácticos: los generadores de parsers —basados en gramáticas BNF y autómatas, con análisis en tiem
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 f
Prism es un compilador funcional de prueba de concepto desarrollado por Stephen Diehl durante los últimos tres años. Su propuesta central consiste en modelar los efectos computacionales —mutación, excepciones, generadores, entrada/salida— dentro del sistema de tipos, de modo que el programador decla
Un programador autodidacta relata el camino, plagado de decisiones torpes pero reveladoras, que lo llevó desde usar Microsoft Word para escribir PHP —porque no distinguía entre un editor de texto y un editor de texto enriquecido— hasta adoptar Emacs como su editor principal de código y texto, una he
Un docente ha desarrollado un curso completo de programación funcional con OCaml, titulado “Functional Programming with OCaml”, para la plataforma MOOC NPTEL. Lo singular del material es su formato: no es un PDF ni un sitio web con listados de código que copiar en otro entorno, sino una obra web don
El programador Mark Shinwell (seudónimo bajo el alias «No Marks Shinwell were harmed») ha presentado un puerto completo del runtime de OCaml, escrito originalmente en C, a Rust. El proyecto, llamado rustcaml y disponible en GitHub, se realizó con asistencia de Claude Code (modelo Opus 4.7) y consist
Dune es el sistema de compilación de referencia en el ecosistema OCaml y un paso esencial para empezar a trabajar con este lenguaje. Este artículo ofrece una guía práctica dirigida a personas que se inician en OCaml, basada en un proyecto de ejemplo minimalista llamado "helloer", con el objetivo de
Yon es un lenguaje de programación de investigación cuyo sistema de tipos se fundamenta en la teoría de topos, el lema de Yoneda, la teoría de tipos de homotopía (HoTT) y la teoría de tipos cúbica, con efectos algebraicos y un núcleo de lógica intuicionista. Constituye, a la vez, un programa de inve
Un diseñador de Jane Street ha sustituido en gran medida el uso de Figma por el de Claude en su flujo de trabajo de producto. En un artículo publicado en el blog de la empresa, explica que el método tradicional —redactar documentos de especificación, construir maquetas en Figma y revisar la implemen
Semgrep ha presentado la versión 1.0.0 de Pyro Caml, el primer perfilador continuo (continuous profiler) para el lenguaje de programación OCaml. La herramienta nace de una necesidad interna de la compañía, cuyo motor principal de análisis estático de código (SAST) está escrito en OCaml y se ejecuta
Jane Street ha presentado strace-ui, una interfaz de terminal interactiva que transforma el trazador de llamadas al sistema strace en un explorador manejable. La utilidad asigna identificadores cortos a los PID, formatea estructuras, muestra búferes como volcados hexadecimales y permite filtrar llam
El 23 de abril de 2026, el proyecto Borealis —un protocolo stack puramente implementado en OCaml— se bootcó con éxito en órbita terrestre baja, funcionando dentro del módulo ClusterGate-2 de DPhi Space. El daemon opera con encriptación de extremo a extremo y rotación post-cuántica de claves, siendo
Después de más de 40 años de investigación, el sistema de verificación formal conocido anteriormente como Coq Proof Assistant ha sido renombrado como Rocq Prover. Desarrollado inicialmente en 1984 por Thierry Coquand y Gérard Huet en INRIA-Rocquencourt, y posteriormente ampliado por Christine Paulin
Este cambio introduce un nuevo backend en C++ para el compilador `ocamlc`, mejorando significativamente la integración con código C existente y la interoperabilidad a través de la Foreign Function Interface (FFI). Tradicionalmente, `ocamlc` utilizaba un C intermedio para la FFI, lo que resultaba en
Un nuevo paquete de Emacs llamado 'neocaml' ha sido lanzado para mejorar la experiencia de programación en OCaml. Desarrollado por Bbatsov y disponible en MELPA, neocaml busca ofrecer una alternativa moderna y más ligera a los modos existentes (caml-mode y tuareg-mode), aprovechando la tecnología Tr
λProlog, un lenguaje de programación lógico desarrollado a finales de la década de 1980, está experimentando un inesperado resurgimiento en la comunidad tecnológica. Basado en la lógica intuicionista de orden superior, λProlog se destaca por su sólida base lógica, que permite características avanzad
Coccinelle es una herramienta poderosa para programadores C que permite realizar transformaciones complejas en el código fuente de manera automática y preservando su estilo. Imagina que necesitas refactorizar una gran base de código C para adoptar una nueva práctica o corregir un patrón de error com
Jane Street, una firma de trading cuantitativo, ha migrado una biblioteca clave para simulaciones de hardware (Hardcaml_step_testbench) de monads a efectos algebraicos, una nueva característica de OCaml 5. Esta transición busca mejorar la legibilidad del código y permitir el uso de características a
Este artículo explora alternativas a la biblioteca de threading `Lwt` en el contexto de MirageOS, un sistema operativo totalmente impulsado por eventos. En sistemas tradicionales, los hilos preemption interrumpen el flujo de ejecución, mientras que MirageOS, al igual que Node.js, utiliza un modelo d
