software · 11 menciones
El compilador de Elm alcanza su versión 0.19.2 con mejoras de rendimiento centradas en reducir la asignación de memoria durante el análisis sintáctico. En pruebas internas, el compilador procesa 850.000 líneas de código Elm desde cero en 5,7 segundos y completa las compilaciones incrementales en men
Este artículo recupera el principio "parse, don't validate" de Alexis King y lo aplica a TypeScript, un lenguaje cuyo sistema de tipos estructural no obliga a distinguir entre datos sin revisar y datos ya verificados. La idea central es que un validador devuelve true o false y olvida lo que comprobó
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 desarrollador Andrew Nesbitt ha revelado una compleja red de dependencias entre gestores de paquetes mediante una nueva matriz interactiva. El análisis demuestra cómo herramientas como PyPI y npm a menudo dependen de los entornos de ejecución de otros, creando bucles inesperados en el ecosistema
El artículo de Andrzej Odrzywolek, publicado en arXiv, presenta un concepto fascinante: el 'minimalismo matemático'. En esencia, demuestra que es posible construir todas las funciones elementales (como exponenciales, trigonométricas, raíces cuadradas, etc.) a partir de un conjunto extremadamente red
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
Este artículo del blog de Whitebeard explora la creación de una máquina Z (Z-Machine) en Elm, un lenguaje de programación funcional puro. La Z-Machine, inventada por Infocom en los años 80, era una máquina virtual diseñada para permitir que sus aventuras de texto se ejecutaran en múltiples arquitect
Desarrolladores han presentado Xilem, un nuevo framework de interfaz de usuario (UI) para Rust que busca simplificar el desarrollo de aplicaciones nativas. Xilem, junto con Masonry (una base para construir frameworks de UI), ofrecen una arquitectura de alto nivel inspirada en React, SwiftUI y Elm. X
Un desarrollador ha creado Sky, un nuevo lenguaje de programación experimental que busca combinar lo mejor de Go y Elm. Sky apunta a simplificar el desarrollo full-stack al ofrecer un lenguaje único para el frontend y el backend, compilando a un binario Go portable. El lenguaje incorpora característ
Un desarrollador ha publicado una guía sobre cómo crear ejecutables para el lenguaje de programación funcional Gleam, el cual compila a Erlang y JavaScript. Gleam, aunque prometedor, carece de soporte nativo para la creación de ejecutables, lo que dificulta su distribución. La guía explora tres méto
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
