61 noticias
Serokell publica la quinta entrega de su serie sobre tipos dependientes en Haskell, centrada en el trabajo que Vladislav Zavialov y su equipo desarrollan en el compilador GHC. El artículo detalla tres contribuciones principales y varias mejoras secundarias que acercan Dependent Haskell a una realida
El lenguaje de programación Roc avanza hacia su primera versión numerada, la 0.1.0, según avanzó Richard Feldman en una charla organizada por el canal Func Prog Sweden. Roc es un lenguaje diseñado para programación funcional con ambiciones de cubrir casos de uso típicos de Go, Rust y los entornos de
El programador Abhinav Sarkar, miembro de Lobsters desde junio de 2018, descargó sus 220 envíos a la comunidad mediante la API JSON del sitio y los sometió a un análisis estadístico. En los primeros seis años su actividad fue muy reducida, pero a partir de mediados de 2024 se intensificó notablement
Ejecutar scripts Haskell en GitHub Actions suele ser lento: cada ejecución parte de un runner limpio, sin caché de Nix ni de Magix, así que hay que instalar herramientas, descargar dependencias y compilar el guion desde cero. En un caso real, esa puesta en marcha consumió 92 de los 105 segundos tota
Andrew Oram, editor de larga trayectoria en libros de tecnología, publicó en el Linux Professional Institute una serie de dos artículos titulada "Why Do Programming Languages Rise and Fall" que clasifica los lenguajes en inmortales (C, C++, JavaScript), respetables retirados (COBOL, FORTRAN, BASIC,
Slap es un parcheador de ROM multiplataforma, de código abierto y línea de comandos, creado por nyuutsu ante la ausencia de una herramienta CLI en Linux que se ajustara a sus necesidades para preparar cartuchos mediante FXPak. Admite veinte formatos de parche —IPS, IPS32, UPS, BPS, EBP, PPF3, NINJA2
Justin Le publica la segunda entrega de su serie «Five-Point Haskell», centrada en el principio que bautiza como «elección incondicional». La idea aprovecha la parametricidad de Haskell: cuando una función tiene un tipo polimórfico como `forall a. a -> a`, el compilador deduce propiedades que toda i
En cualquier proyecto que use Nix y nixpkgs es habitual añadir overrides puntuales en el flake.nix para forzar una versión de un paquete más reciente que la disponible en el pin de nixpkgs — por ejemplo, una versión concreta de yesod-form que el proyecto necesita hoy y que aún no ha sido adoptada po
David Binder, desarrollador de la comunidad Haskell, publicó en el blog oficial del lenguaje una hoja de ruta para producir una versión revisada del Haskell 2010 Language Report, el documento normativo del lenguaje que no se actualiza desde hace 16 años. El autor sostiene que el informe se ha quedad
Perspec es una aplicación de escritorio gratuita y de código abierto diseñada para corregir la perspectiva de fotografías de documentos, recibos y cualquier otra imagen. Su versión 1.0, publicada tras nueve años de desarrollo, se centra en un flujo de trabajo ágil pensado para procesar lotes de imág
El 3 de agosto de 2006, John MacFarlane publicó la primera versión de Pandoc, un conversor de documentos escrito en Haskell bajo licencia GPL. La versión 0.1 constaba de unas 3.000 líneas de código y únicamente transformaba entre Markdown, reStructuredText, HTML y LaTeX, además de generar RTF y S5.
Fuse es un lenguaje de programación de tipado estático y funcional puro que incorpora tipos de orden superior (higher-kinded types) y polimorfismo ad hoc mediante traits. Su compilador se apoya en GRIN, un optimizador de programa completo, y delega la generación de código nativo en LLVM, lo que prod
Un usuario comparte en una comunidad en línea sus planes para el fin de semana, que combinan ocio y aprendizaje de programación. Su principal actividad lúdica será retomar Final Fantasy XIV, juego al que se ha vuelto a enganchar tras varios años de pausa y en el que acaba de comenzar la expansión He
Este artículo forma parte de una serie que explora ejercicios del libro 'Structure and Interpretation of Computer Programs' (SICP) de Abelson y Sussman, trasladándolos a Haskell. En esta entrega, el autor replica en Haskell el simulador de circuitos digitales que SICP implementa usando estado mutabl
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
Este artículo presenta una técnica para codificar tipos existenciales en Haskell que permite que aparezcan 'desnudos' en las signaturas de tipo, sin necesidad de envolverlos en un constructor GADT ni recurrir a la transformación CPS (estilo paso de continuación). La codificación se apoya en funcione
El vídeo del canal Logan Smith analiza Verse, el lenguaje de scripting que Epic Games está desarrollando para sustituir al sistema de Blueprints en Unreal Engine 6. El autor parte de una pregunta provocadora: ¿tiene sentido aprender un nuevo lenguaje de programación en plena era de la inteligencia a
En la era de la generación de código asistida por inteligencia artificial, se ha extendido la percepción de que el dominio profundo de los lenguajes de programación ha quedado obsoleto. ¿Para qué invertir años en entender sus matices si una IA puede producir código en cualquier lenguaje bajo demanda
Este artículo describe el diseño e implementación de una librería que añade un sistema de roles y permisos sobre servant-auth, el mecanismo de autenticación de Servant, un framework para construir APIs en Haskell. El objetivo es permitir definir manejadores (handlers) distintos según el rol del usua
Shake Blog es un proyecto inicial de código abierto para construir un generador de sitios estáticos personalizado utilizando Shake, la biblioteca de Haskell para definir reglas de construcción, y el propio lenguaje Haskell. Funciona como una base lista para bifurcar y adaptar, no como una plataforma
Joshua Miller, ingeniero de H-E-B, relata en el blog oficial de Haskell cómo la mayor empresa privada de Texas pasó de depender de mainframes COBOL a mantener cerca de un millón de líneas de Haskell en producción tras ocho años de migración. H-E-B, un minorista con más de 435 tiendas y una cadena de
Andreas Klebinger, desarrollador principal del compilador Glasgow Haskell Compiler (GHC), presentó el informe anual de estado del proyecto ante la Haskell Foundation. La sesión repasó los lanzamientos del último año, que se redujeron de ocho a cuatro versiones con el objetivo de reducir la carga de
Este artículo técnico analiza cómo construir un recorrido en anchura (breadth-first) sobre árboles en Haskell mediante un enfoque basado en niveles, composicional y dinámico. Partiendo de los folds y traversals en anchura ya conocidos —incluidos los trabajos de Okasaki (ICFP 2000) y la biblioteca tr
La biblioteca Rust `connections` (cmk/connections) implementa las conexiones de Galois como valores de primera clase para realizar conversiones entre tipos parcialmente ordenados —por ejemplo, de `f64` a `f32`, de `Duration` a segundos o de `f32` a `u32` y de ahí a `IpAddr`—. El objetivo declarado e
Bartosz Milewski presenta en este artículo el concepto de "equipo de Tambara" (Tambara equipment), una estructura categórica que generaliza los equipos de proarrows al ámbito de los actegorías y los módulos de Tambara. Tras recordar su trabajo previo sobre óptica functorial —desarrollado junto a inv
Las actegorías son una construcción de la teoría de categorías que permite que una categoría soporte la acción de una categoría monoidal, multiplicando o escalando sus objetos. En programación, ocupan un papel central en las llamadas ópticas (lentes, prismas, traversals), ya que estas se modelan com
Este artículo del blog Entropic Thoughts recorre la sección 2.4.3 de Structure and Interpretation of Computer Programs (SICP), de Abelson y Sussman, y traslada su ejemplo de programación dirigida por datos al lenguaje Haskell. La idea central es representar números complejos de dos formas —rectangul
Avi Press, fundador de Scarf y miembro del patronato de la Haskell Foundation, ha anunciado que la compañía ha empezado a migrar su backend de Haskell a Python tras siete años de uso en producción. La decisión, calificada por el autor como "reacia", se explica por la acumulación de costes de compila
Este artículo de Justin Le inaugura una serie en tres partes dedicada a explorar el extremo más sofisticado del sistema de tipos de Haskell. El objetivo es construir un lenguaje de expresiones tipado embebido (un EDSL) que permita especificar un programa una sola vez y reutilizarlo de varias formas:
Este artículo técnico presenta una formalización práctica del algoritmo de inferencia de tipos para la concatenación sesgada de registros descrito por Mitchell Wand en 1991, un problema que, casi cuarenta años después, ningún lenguaje de programación había logrado implementar de forma fiel. El autor
Gwern Branwen ha publicado una propuesta de investigación titulada 'Lean Software Scaling Laws' que plantea medir empíricamente cómo escala la perplejidad de los modelos de lenguaje grandes (LLM) de programación en función del tamaño del código fuente, tomando Lean como caso de estudio. La hipótesis
SecretSpec ha publicado la versión 0.13, que incorpora SDKs nativos para cinco lenguajes de programación: Python, Node.js/TypeScript, Go, Ruby y Haskell. Hasta ahora, las aplicaciones escritas en esos lenguajes solo podían resolver los secretos declarados en el manifiesto `secretspec.toml` recurrien
El proyecto git-annex ha publicado una página titulada 'known dependencies that contain LLM generated code' en la que detalla qué bibliotecas de su cadena de dependencias contienen código generado por modelos de lenguaje y cómo afecta eso a su compromiso de no incluir dicho código en su propio repos
Joey Hess, desarrollador principal de git-annex, explica en una entrada de blog que ha invertido alrededor de cien horas durante el último mes para garantizar que su proyecto pueda compilarse sin dependencias que incluyan código generado por modelos de lenguaje. La auditoría incluyó la revisión manu
Este artículo técnico explica cómo invocar instrucciones de CPU especializadas desde Haskell/GHC, algo que el lenguaje no soporta de forma nativa como hacen C o C++ con el ensamblador en línea o las funciones intrínsecas. El autor toma como caso concreto el producto de dos enteros de 64 bits, del qu
Este artículo describe, paso a paso, cómo generar regiones finitas de los mosaicos no periódicos de Roger Penrose formados por cometas (kites) y dardos (darts) utilizando el paquete Diagrams de Haskell. El trabajo surge de una colaboración con Stephen Huggett sobre propiedades matemáticas de estos t
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ó
Bellroy comparte una técnica avanzada en Haskell para representar estados inválidos como imposibles en el sistema de tipos. La pieza central es NonEmptyText, un tipo que garantiza en compilación que una cadena tenga al menos un carácter, construido a partir de RequiredTypeArguments, introducido en G
Prism es un compilador funcional de prueba de concepto desarrollado por Stephen Diehl durante los últimos tres años. Su propuesta central consiste en modelar los efectos computacionales —mutación, excepciones, generadores, entrada/salida— dentro del sistema de tipos, de modo que el programador decla
Este artículo explica, desde cero y con ejemplos, cómo funciona la inferencia de tipos para los registros anónimos, una pieza que el autor considera clave y todavía недостаточно aprovechada en los lenguajes estáticamente tipados. Un registro anónimo es aquel que no necesita una declaración de tipo p
Los registros anónimos —estructuras de datos con campos identificados por nombre que no requieren una declaración previa de tipo— son habituales en lenguajes dinámicos como JavaScript (objetos), Python (diccionarios), Ruby (hashes) o Nix (attribute sets), y también aparecen en el formato JSON. Sin e
H2JVM es una biblioteca en Haskell, aún en fases muy iniciales, que permite generar bytecode de la máquina virtual de Java (JVM) desde código funcional con un enfoque de alto nivel. Su objetivo es que los desarrolladores de compiladores hacia la JVM no tengan que lidiar con los detalles de bajo nive
Sydtest ha lanzado oficialmente las pruebas de mutación en Haskell, una herramienta destinada a mejorar la calidad de los test suites al introducir modificaciones en el código y verificar que las pruebas detecten los cambios. Esta funcionalidad es especialmente relevante en la era de la generación d
GHC, el compilador de Haskell, incluye una extensión llamada ApplicativeDo que traduce bloques do-notation en operaciones aplicativas (<*>) cuando no existen dependencias entre instrucciones, habilitando paralelismo automático. Sin embargo, el algoritmo que produce la planificación óptima de esas op
La Haskell Foundation anuncia cambios significativos para 2026. Su director ejecutivo, José, deja su cargo en junio tras años de servicio durante momentos difíciles. La Junta Directiva aprovecha esta transición para reestructurar la organización, con el objetivo de dedicar la mayor parte de los recu
Una nueva herramienta de código abierto llamada hsrs permite la interoperabilidad type-safe entre Rust y Haskell mediante enlaces FFI generados automáticamente. El desarrollador Harmont-Dev publicó el proyecto en GitHub, ofreciendo un sistema de anotaciones que simplifica la integración entre ambos
El artículo presenta una implementación práctica en Haskell del concepto matemático de 'equipamiento profunctor' (profunctor equipment), una estructura proveniente de la teoría de categorías Higher Order Topos Theory. El autor, Bartosz Milewski, decide usar Haskell como 'juguete' para verificar comp
El proyecto Data.Array.Accelerate, desarrollado por el equipo AccelerateHS, es una librería Haskell que define un lenguaje embebido especializado para cálculos de arrays de alto rendimiento. Esta herramienta permite expresar computaciones sobre arrays multidimensionales regulares mediante operacione
Un desarrollador Haskell ha implementado técnicas de 'Golden Testing' o pruebas de regresión visual para su librería Waterfall-CAD, una herramienta de CAD programable lanzada en 2023. El autor, Joe Warren, enfrentaba dificultades para probar su librería debido a que los outputs son modelos 3D comple
Este artículo del blog de HaskellForAll aborda una recomendación de estilo para la construcción de registros (tipos de datos) en Haskell: priorizar la notación `do` sobre los operadores `Applicative` (como `<$>` y `<*>`). Aunque ambos métodos son válidos, la notación `do` ofrece ventajas significati
Un desarrollador ha creado una herramienta de línea de comandos (CLI) llamada 'korb' que permite automatizar los pedidos de comestibles de REWE a través de sus APIs. Escrita en Haskell, la herramienta está diseñada para ser utilizada por agentes o asistentes para organizar las compras de REWE, gener
Desarrolladores de Haskell han descubierto técnicas para reducir significativamente el tamaño de los binarios de Haskell, que a menudo pueden superar los 100MB debido a las dependencias. El método principal implica el uso de opciones de enlace como `-split-sections` y `--gc-sections` para eliminar c
Este artículo explora una estructura algebraica llamada 'monus' y su aplicación en algoritmos de búsqueda y ordenamiento, particularmente en el contexto de montículos (heaps). Un montículo es una estructura de datos en forma de árbol donde el valor de cada nodo es menor o igual que el de sus hijos,
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 explora una técnica avanzada para mejorar la concurrencia en Scala, inspirada en el lenguaje Haskell y su biblioteca Haxl. El problema que aborda es cómo optimizar la ejecución de múltiples consultas de datos, evitando una serie de llamadas secuenciales a la base de datos. En Haskell,
Este artículo explora la arquitectura interna de los lenguajes de programación, específicamente aquellos con características inspiradas en Haskell, a los que se refiere como "Lil' Fun Langs". El objetivo es desmitificar cómo funcionan estos lenguajes, más allá de su sintaxis superficial. La explicac
Un desarrollador ha creado una nueva herramienta llamada 'Semantic Navigator', disponible en GitHub (Gabriella439/semantic-navigator), que permite a los programadores explorar repositorios de código no por directorios, sino por significado. Esta herramienta busca ofrecer una alternativa a las interf
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
El artículo explora el concepto de diseño impulsado por tipos (type-driven design), una metodología que el autor ha tenido dificultades para explicar de manera concisa. La clave para comprender este enfoque reside en la idea de "parse, don't validate". El autor ilustra esto a través de ejemplos en H
El artículo de Ian Duncan critica la tendencia en la programación funcional (FP) a enfocarse excesivamente en la corrección local del código, lo que lleva a una falsa confianza en las propiedades del sistema en su conjunto. Argumenta que, independientemente del paradigma de programación, los desarro
El artículo explora el concepto de 'Free Monads' en Haskell, presentándolos como una forma de listas en la categoría de endofuntores. Se profundiza en la teoría de categorías, incluyendo conceptos como Endo, Natural Transformations, Product functors y HFunctors, para explicar la relación entre Free
