65 noticias
La charla 'Type Systems You Might Not Know (But Will Love)' se presenta en el World Congress 2026 North America, organizada por Simon Auer, CEO de marqably. El evento, que se celebró el 24 de septiembre de 2026 en el escenario exterior, explora paradigmas de tipos avanzados que van más allá de la di
Microsoft ha incorporado Rust a su lista de lenguajes de primer nivel para desarrollo interno, junto a C++, C# y TypeScript. La compañía anunció que el lenguaje ya cuenta con cadena de herramientas segura, herramientas de productividad, flujos de calidad, integración profunda con la plataforma y cum
El lenguaje C sigue siendo una pieza central de la infraestructura informática, pero su definición formal —el estándar ISO— se ha distanciado tanto de las propiedades que el código de sistemas asume como de las que los compiladores implementan, y ninguna de esas visiones está claramente caracterizad
Bespoke es un lenguaje de programación estáticamente tipado presentado con tono humorístico como «El Código de la Reina», en el que toda interacción con el compilador, la consola de salida y el entorno de ejecución debe formularse con fórmulas de cortesía británicas. Los archivos fuente usan la exte
En programación se presenta la Información de Tipo en Tiempo de Compilación (CTTI) como una alternativa de 'coste cero' a la Información de Tipo en Tiempo de Ejecución (RTTI), pero esta creencia es engañosa. RTTI almacena los tipos en una tabla cuyo tamaño crece de forma lineal con el número de tipo
Go 1.27 elimina una antigua restricción del lenguaje: los métodos ya pueden declarar sus propios parámetros de tipo sin necesidad de añadirlos al struct receptor. Hasta ahora, quien quisiera implementar, por ejemplo, un método Map que transformara un nodo genérico Node[T] en otro de tipo U estaba ob
Un equipo internacional de investigadores ha presentado un framework que permite ejecutar código Rust directamente sobre GPUs manteniendo las garantías de seguridad de memoria del lenguaje, sin sacrificar el rendimiento y con soporte multiplataforma. El trabajo, titulado "GPU Offload in Rust: Portab
Este ensayo, escrito como complemento de un texto anterior titulado 'Type Theory Weary', cuestiona la necesidad de tratar los tipos como un constructo especial dentro de la informática y la lógica. El autor sostiene que los sistemas de tipos surgieron históricamente para resolver problemas que en su
C3, lenguaje de programación de sistemas derivado de C, ha publicado la versión 0.8.3, cuya novedad principal es el atributo @feat, destinado a sustituir al antiguo @if en las declaraciones de nivel superior. Hasta ahora, @if aceptaba cualquier expresión constante en tiempo de compilación, lo que ob
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
La optimización de tail calls (llamadas de cola) en el lenguaje C no existía desde siempre, según argumenta un comentario firmado por anton (anton@) en LWN.net. La convención de llamadas de C exigía que el llamante retirase los argumentos de la pila tras la llamada, lo que convertía estas llamadas e
Este artículo explica y compara cuatro estrategias para implementar el despacho de instrucciones en una máquina virtual (VM) escrita en Rust, todas basadas en la técnica de interpretación con tail-calls. La técnica consiste en transformar la recursión en un salto en tiempo de compilación, lo que evi
Jolt, un lenguaje de la familia Lisp que se ejecuta sobre Scheme, ha incorporado dos funcionalidades derivadas de desacoplar su runtime del host. La primera es la posibilidad de serializar imágenes de programa —al estilo de Common Lisp y Smalltalk—, una especie de caja negra que captura el estado co
Futhark, un lenguaje funcional orientado a la computación paralela sobre datos, ha carecido de soporte para funciones recursivas durante casi toda su existencia. La ausencia no respondía a una postura ideológica contra la recursión —el propio compilador contiene definiciones recursivas—, sino a la f
C++26 incorpora #embed, una directiva de preprocesador que permite incrustar el contenido de un archivo binario —imágenes, certificados, configuraciones por defecto— directamente en el código fuente como una secuencia de expresiones constantes enteras, sin recurrir a herramientas externas como xxd,
La seguridad de memoria suele presentarse como un concepto difuso y polémico, pero la realidad es más sencilla: puede entenderse como un espectro y, al mismo tiempo, admitir una definición práctica que no depende de tecnicismos. El código verdaderamente seguro es aquel cuyas reglas sobre la memoria
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
El equipo de PennyLane, una biblioteca de software cuántico, estaba desarrollando Catalyst, un compilador cuántico basado en MLIR, cuando descubrió que su infraestructura podía ejecutar código JAX clásico sin necesidad de instrucciones cuánticas. El decorador @qjit acepta funciones JAX puras con Num
Stephen Kell, en un ensayo publicado en su blog, reflexiona sobre la orientación dominante en la implementación de lenguajes de programación y, por extensión, en la infraestructura del software. El autor parte de una idea clásica: la ciencia de la computación suele operar de forma «hacia delante» y
El desarrollador Tomek presenta un proyecto pedagógico que muestra, paso a paso, cómo transformar código fuente en un ejecutable nativo. En lugar de inventar un lenguaje nuevo, se apoya en el backend QBE, un compilador compacto que persigue el 70 % del rendimiento de los compiladores industriales co
En un momento en el que la inteligencia artificial, la industrialización y la métrica amenazan con arrinconar la dimensión artesana del desarrollo de software, un programador defiende una receta casi olvidada: construir programas «de juguete». El argumento parte de la célebre cita de Richard Feynman
Un análisis técnico demuestra que la opción -mcmodel=large de GCC y Clang, pensada para compilar binarios enormes sorteando los límites de direccionamiento de 32 bits, falla de forma sistemática con variables thread-local (__thread) y, por extensión, con la inmensa mayoría del software C/C++ real de
Cuando una máquina virtual basada en bytecode genera un error en tiempo de ejecución, necesita traducir el desplazamiento del bytecode a la línea del código fuente que lo produjo. Este artículo, surgido de los retos del capítulo 14 del libro 'Crafting Interpreters' de Robert Nystrom, analiza de form
En un ensayo publicado el 27 de junio de 2026, el ingeniero de software jubilado que firma como "rubys" reflexiona sobre cómo la inteligencia artificial ha transformado la producción de artefactos que antes requerían instituciones, como los oráculos de conformidad. El autor parte de una anécdota de
Xavier Leroy, investigador francés del Inria y creador del lenguaje de programación OCaml, protagoniza una entrevista en profundidad en el podcast The Peterman Pod, conducido por Ryan Peterman. El episodio, de una hora y veinticuatro minutos, recorre la trayectoria de Leroy en compiladores, lenguaje
Jolt: una nueva implementación de Clojure sobre Chez Scheme con arranque rápido y bajo consumo Jolt, una nueva implementación del lenguaje Clojure que ejecuta sobre el compilador Chez Scheme, se presenta como una alternativa ligera al Clojure tradicional sobre JVM, con tiempos de arranque casi inst
Un diseñador de un nuevo lenguaje de programación plantea una pregunta abierta sobre arquitectura de compiladores: ¿por qué los lenguajes modernos optan por compiladores paralelos en lugar de generar procesos independientes por cada archivo, como hace C? La motivación es pragmática: persigue tiempos
Investigadores de la Universidad de Kent presentan un compilador de Rust dirigido al procesador prototipo Morello de ARM, una arquitectura experimental que aplica seguridad de memoria mediante capabilities (punteros gruesos dotados de permisos y límites). El trabajo, publicado como artículo de exper
La Colección Histórica de Modula-3, editada por Paul McJones y actualizada por última vez el 5 de julio de 2026, reúne de forma anotada documentos, código fuente y materiales sobre el nacimiento, evolución y uso del lenguaje de programación Modula-3. El proyecto se enmarca dentro de la iniciativa Du
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
El ingeniero Dwight VandenBerghe sostiene que los lenguajes de la familia ML —especialmente OCaml y, en menor medida, SML/NJ— ofrecen una combinación de características que los hacen especialmente adecuados para desarrollar compiladores. El artículo, publicado en 1998 en el grupo comp.compilers, rep
Un desarrollador presenta bet, un lenguaje de programación real, no un experimento de juguete: compila a código nativo mediante LLVM, gestiona su propia memoria, se compila a sí mismo (self-hosting) y, como prueba de capacidad, ha servido para portar más de 56.000 líneas del código fuente original e
El equipo de Roc anunció que su nuevo compilador, reescrito desde Rust a Zig durante año y medio, ha alcanzado la paridad de funciones con la versión original, tras 487 días de trabajo sobre 300.000 líneas de código. Aunque todavía no es un lanzamiento formal —la versión 0.1.0 está prevista para fin
Go emplea una técnica intermedia entre la monomorfización completa de Rust o C++ y la borradura de tipos de Java para implementar los genéricos introducidos en Go 1.18: el GC shape stenciling. En lugar de generar una copia del código genérico por cada tipo concreto, el compilador agrupa los tipos se
Un Dense Arena Interner es una estructura que convierte cadenas y tipos en identificadores enteros únicos en el momento de su creación, de modo que el resto de las fases del compilador —analizador sintáctico, comprobador de tipos y optimizador— dejen de pagar el coste de comparar texto repetidamente
Spectral Compute, una empresa londinense fundada en 2018 por cuatro ingenieros con 60 años de experiencia combinada en optimización para HPC, desarrolla SCALE, un compilador basado en CLang y LLVM que funciona como sustituto directo de NVCC, el compilador CUDA de Nvidia. La herramienta permite recom
En este vídeo ensayo, el desarrollador Marcos Magueta sostiene que la sintaxis de un lenguaje de programación no debería ser un conjunto arbitrario de atajos heredados de otros lenguajes, sino un reflejo fiel de las abstracciones que el lenguaje ofrece. La idea central es que cada decisión sintáctic
El equipo de Rust publicó la versión 1.97.0 del lenguaje de programación, disponible mediante `rustup update stable`. La novedad principal es la activación por defecto del esquema de mangling v0, específico de Rust, que sustituye al basado en el ABI de Itanium. Hasta ahora, este esquema solo podía h
El artículo repasa la historia, el diseño y el impacto de LLVM, la infraestructura de compiladores de código abierto nacida en 2000 como proyecto de investigación en la Universidad de Illinois Urbana-Champaign y publicada por primera vez en octubre de 2003. Financiada inicialmente por la Fundación N
Raphael Amorim, creador de Rio Terminal, presenta Jam, un lenguaje de programación en desarrollo hacia su versión 1.0 que busca combinar la inmediatez y la ergonomía de los lenguajes de tipo C —Go, Zig, C moderno— con la seguridad de memoria propia de Rust, pero sin recolector de basura ni un sistem
El profesor Douglas Thain, de la Universidad de Notre Dame, ha publicado un libro de texto en abierto titulado *Introduction to Compilers and Language Design*, pensado para un curso universitario de un semestre. La obra guía al lector en la construcción de un compilador completo para un lenguaje de
La sabiduría heredada sobre optimización en C++ —el inverso rápido de raíz cuadrada de Quake III, el intercambio por XOR, el conteo de bits de Kernighan, el acceso por punteros de fila— se asentó sobre hardware y compiladores que ya no existen. Este artículo demuestra con benchmarks en un AMD Ryzen
Un desarrollador está aprendiendo Scheme y utilizándolo para implementar conceptos de sus clases de física con el objetivo de ejecutar el código en el navegador. Para ello recurre a Hoot, un compilador que traduce Scheme a WebAssembly y que permite ejecutar este lenguaje en la web sin depender de Em
Un programador que abandonó Zig por Rust en 2020 por la inestabilidad del lenguaje y la inmadurez de su ecosistema narra su regreso a Zig en 2026. Asegura que, aunque el lenguaje sigue siendo inestable —la versión 0.17 romperá sistemas de compilación— y conserva muchos de sus problemas de antaño, su
El blog cr.yp.to, mantenido por el criptógrafo D.J. Bernstein, reúne una larga serie de análisis técnicos y ensayos críticos centrados en la criptografía post-cuántica, los procesos de estandarización y el rendimiento del software. La página sirve como índice cronológico de entradas publicadas entre
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
El artículo describe un compilador experimental de unas 180 líneas de Python, disponible en GitHub, que realiza una fase de "lowering" sobre kernels: transforma bucles `for` convencionales en bucles `vector_for` en los que el paralelismo de datos queda explícito. La entrada es un AST pequeño escrito
Un texto escrito en 1992, recuperado al ordenar un despacho, reflexiona sobre por qué los problemas de la programación informática no se habían resuelto pese a los avances en compiladores. Para ilustrarlo, su autor recurría a un caso de IBM: en la década de 1970, la compañía decidió sustituir su com
CS 6120 es un curso de nivel doctoral de la Cornell University, impartido por Adrian Sampson, que ahora se ofrece como itinerario autoguiado y abierto en la web. El programa aborda la implementación de lenguajes de programación desde una perspectiva tanto clásica como de investigación: representacio
Este artículo relata los problemas técnicos que el autor, desarrollador del proyecto Anubis, tuvo que resolver para integrar comprobaciones de prueba de trabajo basadas en WebAssembly con fallback a JavaScript puro. La idea es definir la lógica de comprobación una sola vez y compilarla a JavaScript
La numeración de valores (value numbering) es una técnica clásica de optimización de compiladores que identifica instrucciones puras que producirán el mismo resultado en tiempo de ejecución y las fusiona para evitar cálculos redundantes. El artículo parte de la forma SSA (asignación única estática),
Los reductores de casos de prueba son herramientas de depuración capaces de reducir automáticamente un fichero de entrada —código fuente, datos de configuración, cualquier texto— hasta conservar únicamente la versión mínima que reproduce un error. Funcionan combinando un programa, una entrada grande
Gleam ha publicado la versión 1.17.0 de su lenguaje de programación, que incorpora la orden `gleam export escript` para generar un único archivo ejecutable que contiene todo el código compilado de un programa en BEAM. Esta funcionalidad, análoga a los paquetes bundle de JavaScript para entornos como
Este artículo explora un problema fundamental en la optimización de rendimiento en Go: la ausencia de abstracciones de costo cero en las rutas críticas de código (hot paths). El autor, al portar el algoritmo Brotli a Go puro para el proyecto go-brrr, descubrió que las abstracciones idiomáticas del l
Knight es un lenguaje de programación minimalista y peculiar, diseñado con una filosofía radicalmente diferente a la de la mayoría de los lenguajes existentes. Su objetivo principal no es facilitar la vida al programador que escribe código, sino simplificar la implementación del propio lenguaje. Est
El artículo explora una arquitectura de procesador novedosa llamada Very Long Instruction Word (VLIW), y específicamente, el diseño ELI-512. Para entender su importancia, primero debemos comprender el problema que intenta resolver: la eficiencia en la ejecución de programas. Los procesadores moderno
El 'Journal of C Language Translation' (JCLT) fue una publicación trimestral especializada, con un enfoque muy concreto: el desarrollo de herramientas que procesan y transforman código escrito en los lenguajes de programación C y C++. Aunque hoy en día pueda parecer un nicho muy específico, su impor
El artículo presenta un nuevo algoritmo de inferencia de tipos llamado 'Quadratic Micropass Type Inference', diseñado para mejorar la claridad de los mensajes de error en lenguajes de programación con inferencia de tipos. La inferencia de tipos, una característica que permite al compilador deducir e
Este artículo explica el 'Pratt Parsing', una técnica ingeniosa para analizar expresiones matemáticas o código, especialmente útil en compiladores. La idea central es que, tradicionalmente, las expresiones (como `a + b * c + d`) se representan en un árbol de sintaxis abstracta (AST) donde los operad
El toolkit de parsing Ohm, utilizado para analizar formatos de archivo personalizados y construir parsers, intérpretes y compiladores, ha anunciado una actualización significativa (v18) que aumenta la velocidad de parsing hasta 50 veces en comparación con versiones anteriores. Esta mejora sustancial
El cálculo eficiente con datos dispersos (sparse data) es crucial en muchas áreas científicas y de ingeniería, desde simulaciones físicas hasta aprendizaje automático. Sin embargo, optimizar el código para estas operaciones, especialmente en hardware diverso como diferentes GPUs, puede ser extremada
Este artículo de The Cloudlet explora la estructura interna de GNU Emacs, específicamente cómo representa los valores de Lisp (Elisp) en C. El objetivo es comprender el diseño del sistema desde una perspectiva de bajo nivel, desglosando el tipo de dato `Lisp_Object`. La pieza se basa en el conocimie
El artículo explora seis reflexiones sobre la generación de código C, desde la perspectiva de un desarrollador de compiladores. Se destacan técnicas para mejorar la calidad y eficiencia del código generado, incluyendo el uso de funciones `static inline` para la abstracción de datos y evitar penaliza
En programación, es común encadenar funciones, donde una función llama a otra. Aunque esto es una práctica habitual, cada llamada de función tiene un costo en términos de rendimiento. Este artículo explora ese costo y cómo los compiladores pueden optimizarlo a través de una técnica llamada 'inlining
## FOSDEM 2026: Descubriendo ga68, el Compilador Algol 68 para GCC **¿Qué es Algol 68 y por qué deberíamos prestarle atención?** Algol 68 es un lenguaje de programación histórico, diseñado a mediados de la década de 1960 como sucesor de Algol 50. Aunque nunca alcanzó la popularidad de otros lengua
