software · 23 menciones
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
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
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
QBE 1.3 es la versión más ambiciosa del backend de compilador escrito en C desde el lanzamiento de la 1.0, con cerca de 7.000 líneas de código añadidas y 1.500 eliminadas. El compilador, conocido por su pequeño tamaño y su modelo de compilación por funciones en streaming, recibe en esta entrega un n
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
Este artículo de divulgación explica el concepto de efectos algebraicos desde cero, dirigido a quienes no tienen formación en lenguajes de programación funcional. El autor parte de la analogía con try/catch para introducir las ideas de `perform` y `handle`, destacando la capacidad de `resume` para r
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
Un reciente artículo de TechTenches.dev expone un problema creciente en la industria tecnológica: el costo humano de la productividad impulsada por la IA. Ingenieros senior están experimentando agotamiento físico y mental debido a un aumento drástico en la carga de trabajo, exacerbado por el uso gen
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
Antithesis ha lanzado Hegel, una nueva familia de bibliotecas de pruebas basadas en propiedades, disponibles inicialmente para Rust y con planes de expansión a Go, C++, OCaml y TypeScript. Hegel busca replicar la calidad de las pruebas basadas en propiedades de Hypothesis en múltiples lenguajes, int
El lenguaje de programación funcional Coalton está introduciendo cambios significativos en su próxima versión (0.2 Preview), enfocados en mejorar la eficiencia, la claridad y la flexibilidad. El cambio más notable es la adopción de funciones de aridad fija, reemplazando el sistema de funciones curri
Este artículo del blog de The Cloudlet explora técnicas de programación de sistemas utilizadas en GNU Emacs para representar valores Lisp de manera eficiente. El núcleo del problema radica en cómo manejar variables que deben contener valores de diferentes tipos en tiempo de ejecución, preservando la
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
Este artículo de Taylor Troesh explora el fascinante mundo de los "Lil' Fun Langs", o lenguajes de programación muy pequeños. La idea central es que es posible crear lenguajes de programación funcionales y con tipado estático con una cantidad sorprendentemente baja de código. El artículo no solo pre
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
