14 noticias
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
