11 noticias
Las fugas de espacio en Haskell pueden limitar el crecimiento de la memoria o provocar errores de corrección cuando una estructura thunk conserva referencias o aplaza evaluaciones necesarias. Este artículo propone prevenirlas mediante patrones de programación defensivos y detectarlas con perfiles de
Este artículo explica un truco de programación en Haskell que permite escribir expresiones `if` cuyos tipos de retorno varían según el valor de la condición, algo que a primera vista parecería exigir tipos dependientes, pero que en realidad solo necesita la extensión `RebindableSyntax`. El autor pa
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
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
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
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 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 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
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
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