software · 7 menciones
Syl es un lenguaje de programación diseñado para integrar la computación en tiempo de compilación mediante un sistema de tipos modal, inspirado en la teoría de tipos de dos niveles de András Kovács y los planes para OxCaml. A diferencia de las características de C++, Rust o Zig, que suelen estar res
Quantitative Finance with OCaml es una guía técnica diseñada para construir sistemas financieros correctos, de alto rendimiento y mantenibles. A diferencia de los enfoques tradicionales con Python o C++, este recurso destaca por aprovechar el sistema de tipos de OCaml para eliminar errores de progra
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
Jane Street, una de las firmas de trading cuantitativo más influyentes de Wall Street, ha anunciado la creación de un equipo dedicado a métodos formales de verificación de software, en un giro estratégico motivado por el auge de la programación agéntica. La decisión marca un cambio radical en la pos
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
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
