96 noticias
Los sistemas de programación modernos presentan una confusión persistente entre los typeclasses, presentes en lenguajes como Haskell o Rust, y los sistemas de módulos, típicos de OCaml. Aunque ambos mecanismos comparten una base técnica común, sus objetivos semánticos son distintos. Los typeclasses
El artículo explica las diferencias fundamentales entre las funciones foldl y foldr en el lenguaje Haskell, aclarando que ambas recorren la estructura de la misma izquierda a derecha, pero difieren en su asociatividad. En lenguajes estrictos, foldl permite una recursión en cola que consume espacio c
Edward Kmett ha desarrollado THC, un compilador que permite ejecutar Haskell en la JVM utilizando un compilador Just-In-Time (JIT) y soporte para compilación en tiempo de ejecución (AOT). El proyecto, iniciado hace una semana, implementa todos los operadores primarios de GHC 9.14.1 y se basa en la a
Este artículo técnico documenta la implementación de una librería de algoritmos genéticos en Haskell, utilizando esquemas de recursión y computaciones monádicas. El autor explica cómo estructurar el contexto de ejecución mediante la monada RWS para gestionar la configuración, el generador de números
La presentación de Teo Camarasu, desarrollada por la Fundación Haskell, ofrece una guía técnica para mejorar la velocidad de compilación en proyectos de Haskell utilizando el compilador GHC. El objetivo principal es abordar el cuello de botella que surge cuando los proyectos crecen, donde los tiempo
El artículo propone una estrategia para programadores que desean mantener la satisfacción creativa de su trabajo mientras adoptan herramientas de inteligencia artificial generativa. El autor, un programador de Haskell, argumenta que delegar completamente la codificación en agentes de IA degrada la c
Eventlog Live es una herramienta de software diseñada para capturar y transmitir telemetría en tiempo real desde aplicaciones escritas en el lenguaje de programación Haskell. Este programa actúa como un puente que analiza el registro de eventos (eventlog) generado por el runtime de GHC y lo exporta
El formato Parquet se ha convertido en el estándar de facto para el almacenamiento de datos en el ecosistema de ciencia de datos, ofreciendo una combinación superior de compresión y eficiencia en la consulta. Para los desarrolladores de Haskell, la capacidad de leer y escribir archivos Parquet es es
El artículo técnico detalla una estrategia para parsear objetos JSON en Haskell que elimina la representación intermedia (IR) o árbol de sintaxis abstracta (AST) tradicional. Este enfoque busca optimizar el rendimiento al evitar la asignación de memoria adicional y el cálculo redundante asociado a l
Tilia es un formateador de código para el lenguaje Haskell desarrollado desde cero, diseñado para abordar tres desafíos técnicos persistentes en la herramienta: el manejo correcto de comentarios, la inferencia precisa de las fixities de operadores y el soporte para la preprocesación de C (CPP). A di
La sintaxis de declaración de tipos varía significativamente entre los lenguajes de programación modernos, reflejando influencias históricas y decisiones de diseño específicas. La mayoría de los lenguajes actuales, como Java, C# y D, han adoptado la sintaxis de C, aunque esta puede generar ambigüeda
Un artículo técnico detalla cómo realizar búsquedas sobre árboles algebraicos sin necesidad de convertirlos en mapas de adyacencia, eliminando así la compresión de datos. El objetivo es ejecutar algoritmos como Dijkstra en O(s log s) tiempo, donde s es el tamaño de la expresión, en lugar de O(n²) qu
El artículo explora la traducción del lema de Yoneda, un pilar fundamental de la teoría de categorías, al lenguaje de las categorías dobles. El autor argumenta que, aunque las construcciones estándar como los límites ponderados o las extensiones de Kan se generalizan fácilmente usando profuntores, l
El artículo técnico explora la técnica de 'defuncionalización' en Haskell para permitir que las funciones se comporten como datos puros dentro de estructuras de datos extensibles. El autor argumenta que, aunque las funciones suelen ser complejas y difíciles de serializar, es posible integrarlas en t
La adopción de Haskell en el sector empresarial a menudo se ve interrumpida por factores organizativos y financieros que superan las capacidades técnicas del lenguaje. Vaibhav Sagar, mantenedor de IHasKell, examina en su presentación en ZuriHac 2026 las dinámicas que llevan a las compañías a dejar d
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
El tipo `!` (never) se añadió recientemente a Rust como anotación válida en cualquier posición del código, con su estabilización prevista para Rust 1.100. Aunque suele presentarse como el tipo bottom de la teoría de tipos, el artículo explica que en Rust se trata en realidad del tipo vacío, no del t
Este ensayo técnico distingue entre dos tipos de cambios que puede sufrir una función en una pila de llamadas. Un cambio "normal" —como añadir un parámetro— afecta solo al llamador directo y puede encapsularse mediante programación estructurada; en la práctica, la cadena de propagación suele rompers
La evaluación perezosa (lazy evaluation) es el mecanismo estándar con el que se ejecutan los programas escritos en Haskell y, por tanto, determina tanto el tiempo de cómputo como el consumo de memoria de estos. Más allá de su impacto en el rendimiento, constituye una herramienta expresiva que permit
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
Bluefin se presenta principalmente como un sistema de capacidades y, en segundo lugar, como un sistema de efectos para Haskell. Esta librería, publicada por primera vez a principios de 2024, se inspira en effectful de Andrzej Rybczak y funciona como una envoltura ligera sobre el tipo IO de Haskell.
Las typeclasses (Haskell) y los traits (Rust) son mecanismos de sobrecarga que permiten resolver una llamada a método en función de los tipos de sus argumentos. Esta resolución descansa sobre una propiedad esencial: la coherencia. Un sistema de tipos es coherente cuando, para cualquier restricción g
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
El artículo explora las operaciones de escaneo (scan) y reducción (fold) en lenguajes de arreglos como APL, centrándose en las funciones booleanas. Parte de la observación de que APL implementa optimizaciones nativas para combinaciones frecuentes como +/ (suma), gracias a que sus intérpretes reconoc
Simon Peyton Jones, cocreador del lenguaje de programación Haskell y figura clave de la investigación en lenguajes funcionales, protagoniza una entrevista extensa en el pódcast The Peterman Pod, conducido por Ryan Peterman. La conversación, de casi hora y media, recorre la filosofía de la programaci
El patrón ReaderT es una guía de arquitectura recomendada en Haskell para estructurar aplicaciones con estado de configuración y acceso a funciones globales. Consiste en definir un tipo de datos central, llamado habitualmente Env, que agrupa toda la configuración en tiempo de ejecución y las funcion
El desarrollo de software ha estado dominado durante décadas por el ciclo tradicional de editar, compilar y ejecutar. Sin embargo, los programadores de Lisp disfrutan de una experiencia radicalmente distinta: escriben código directamente en un REPL conectado al proceso en ejecución, lo que permite m
Este artículo muestra cómo reconstruir en Haskell una de las teselaciones de animales del artista holandés M. C. Escher —en la que el plano se cubre completamente con figuras de aves que encajan entre sí sin solaparse— empleando la biblioteca diagrams y su backend Rasterific para generar una imagen
Un propietario de una vivienda aislada de la red eléctrica relata cómo logró mantener cargado su coche eléctrico durante un año entero usando únicamente paneles solares instalados en su propia propiedad. Cuando adquirió el vehículo, su instalación solar inicial de 1 kilovatio apenas generaba 5 milla
Un artículo divulgativo del ingeniero Ralf Jung, exresponsable del equipo de Rust en Google, acerca la investigación en lenguajes de programación (PL) al desarrollador medio a partir de un concepto muy concreto: la seguridad de memoria. Jung defiende que la seguridad de memoria es, ante todo, un asu
Un asistente a la conferencia Systems Distributed 2026, celebrada en el Institute of Contemporary Art de Boston, relata su experiencia durante la charla final titulada Mission-Critical, impartida por Joran Dirk Greef, creador de TigerBeetle. Según el cronista, la presentación combinó definiciones ta
Tidal Cycles es un entorno de live coding libre y de código abierto orientado a la creación de patrones algorítmicos en tiempo real. Está escrito en Haskell y delega la síntesis de audio y el control MIDI en SuperCollider, otro proyecto también open source. Su modelo central son los patrones de tiem
Opus es un dialecto Lisp de ámbito estático y núcleo mínimo, implementado en Haskell y compilado a WebAssembly. Su diseño se apoya en la semántica de las f-expressions del lenguaje Kernel (desarrollado por John Shutt) y emplea estilo de paso de continuaciones (CPS) para el control de flujo. El obje
openleetcode es una herramienta de línea de comandos escrita en Haskell que permite ejecutar en local las soluciones a problemas de LeetCode contra suites de pruebas abiertas y versionadas en el repositorio. Su objetivo declarado es "democratizar" los tests de la plataforma: en lugar de depender del
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
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
