software · 26 menciones
Este artículo técnico detalla la arquitectura y la implementación de una aplicación de gestión de tareas utilizando Haskell, GTK 4 y la librería Adwaita. El objetivo es proporcionar una guía didáctica para desarrolladores intermedios que deseen integrar la interfaz gráfica de GNOME en el lenguaje de
Elm ha lanzado la versión 0.19.3, una actualización incremental que refuerza su filosofía de 'corrección por construcción' mediante la implementación de tipos más precisos en el compilador. Esta mejora elimina categorías de errores de datos inválidos, asegurando que ciertos estados imposibles no pue
El artículo analiza por qué dos registros de evaluación con el mismo nombre de benchmark (MMLU) y la misma familia de modelos pueden ser incomparables, a pesar de que el nombre del benchmark parece estandarizar la medición. El texto detalla que la etiqueta 'mmlu' solo identifica una familia de datos
Un programador confiesa en un blog personal la crisis interna que le provoca seguir usando Ruby y Rails, su lenguaje y framework favoritos, tras considerar que David Heinemeier Hansson (DHH), creador de Rails, se ha radicalizado políticamente hasta abrazar posturas que el autor califica sin rodeos d
ghcup-gtk es una interfaz gráfica GTK que envuelve el gestor de toolchains ghcup, pensado para facilitar la entrada a Haskell y, potencialmente, a la programación en general. Su autor, bajo el alias Kleidukos, ha publicado la primera versión estable, la 0.1.0.0, con paquetes para distintos sistemas
Cuando un linter —como ESLint para JavaScript— ejecuta varias reglas con autofix en una sola pasada y aplica todas las correcciones a la vez, puede generar código roto aunque cada corrección individual sea correcta por sí sola. El autor, creador de elm-review, lo ilustra con un archivo de ejemplo: s
Gleam, un lenguaje funcional que compila para BEAM (la máquina virtual de Erlang), incorpora una serie de pequeñas decisiones de diseño que simplifican el trabajo diario del desarrollador. Este artículo repasa cinco de sus características más llamativas, útiles tanto para quienes ya trabajan en la p
Evan Czaplicki, creador de Elm, presenta Acadia, una herramienta que traslada a SQL los beneficios de los lenguajes con tipos precisos como Elm, Rust o Haskell. El proyecto surge de años de frustración con la desconexión entre los tipos definidos en la base de datos y los del código de cliente y ser
El ingeniero Markus Eliasson narra cómo una falsa alarma de producción en Midsummer le provocó una intensa sensación de culpa y reflexiona a partir de ahí sobre por qué los desarrolladores deberían evitar entregar software que les genere remordimiento. Describe esa culpa como ondas que se propagan c
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
Este artículo, primero de una serie titulada "Programación funcional desde los principios básicos", explica qué es la programación funcional y por qué importa. Presenta las cuatro grandes familias de paradigmas de programación (imperativo procedural, orientado a objetos, lógico y funcional) y enmarc
Reducir los retrasos en un sistema de control no siempre lo mejora; a veces, alargarlos lo estabiliza. Esa es la conclusión contraintuitiva que extrae Martin Janiczek del libro 'Thinking in Systems' de Donella Meadows, cuyo capítulo sobre los retrasos resume en este artículo. El autor plantea el ej
Foldkit es un framework de frontend escrito en TypeScript que adopta la arquitectura de Elm y se construye sobre Effect, una biblioteca para modelar efectos y errores en programas de TypeScript. Su objetivo principal es ofrecer una arquitectura completa, a diferencia de frameworks como React, Vue, S
Un desarrollador cuenta por qué decidió construir durante un año una aplicación web compleja —instruxmusic.com, una herramienta de gestión para escuelas de música con agenda de clases, facturación automatizada, videollamadas con chat y herramientas musicales integradas, generador de páginas de marca
El artículo muestra cómo el autor移植ó The Elm Architecture (TEA) —el clásico bucle init/update/subscriptions— a un trabajo por lotes de back-office escrito en Elm y ejecutado con elm-run, el proyecto de Damir que lleva Elm al sistema operativo. Frente al enfoque de pipeline de elm-pages Script (útil
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
