123 noticias
Yantra es una herramienta de software escrita en C++ que actúa como un compilador de compiladores y generador de parseadores LALR(1). Su principal característica técnica es la capacidad de generar un árbol de sintaxis abstracta (AST) completo antes de ejecutar las acciones semánticas, lo que permite
El proyecto EDG C/C++ es un compilador de código abierto centrado en el desarrollo de un front end que garantiza la compatibilidad de compilación con Clang, GCC y MSVC. Su principal característica es la emulación de errores, lo que permite que el código fuente que funciona en otros compiladores tamb
The C++ Alliance asumirá la responsabilidad de mantener el motor de compilación de C++ de EDG como proyecto de código abierto a partir del 30 de septiembre de 2026. Esta transición marca el fin de la propiedad privada del motor, que durante tres décadas ha sido la única solución de calidad de produc
Un desarrollador documenta el proceso de creación de un lenguaje de programación funcional desde cero utilizando C, partiendo de un ejercicio académico de evaluación de expresiones aritméticas. El proyecto busca resolver la limitación de C al no tener soporte nativo para tipos de datos complejos, co
El artículo explora las implicaciones de la inteligencia artificial en la evolución de los lenguajes de programación, centrándose en dos ejes: la reflexión sobre el impacto en las comunidades y ecosistemas, y la propuesta de herramientas más robustas para agentes de código. El autor argumenta que, s
Evocation es un dialecto de la programación Forth diseñado por Irenes, caracterizado por su enfoque en la teoría de tipos, bases de datos y el diseño de lenguajes. A diferencia de la mayoría de los compiladores de Forth, Evocation es autoalojable, lo que significa que se puede construir utilizando ú
Goose es un lenguaje de programación de sistemas diseñado para ofrecer seguridad de memoria sin las sobrecargas típicas de los lenguajes modernos. Su arquitectura elimina el montón de memoria (heap), el recolector de basura (GC) y las anotaciones de vida, basándose en pila de datos gestionados por e
El proyecto Valen busca resolver la dificultad técnica de integrar lenguajes de programación distintos, específicamente permitiendo la interoperabilidad con Rust mediante generadores cruzados y seguridad de memoria. Inspirado en el concepto histórico del 'Golden Spike' de la transcontinental railway
Singeli es un lenguaje de dominio específico diseñado para la creación de algoritmos de alto rendimiento, incluyendo soporte para instrucciones SIMD. Implementado en BQN, cuenta con un frontend que genera código intermedio (IR) y un backend que emite código C, aunque está diseñado para ser compatibl
La instrucción x86 undefined ud2 es una instrucción de código no válido que garantiza una excepción de 'opcode inválido'. Su existencia se atribuye a una disputa técnica entre dos familias de desarrolladores de compiladores en la década de 1980. Originalmente, no existía ninguna instrucción de códig
El desarrollador Veit Heller ha presentado Metacarp, una segunda implementación del lenguaje de programación Carp, escrita íntegramente en Carp. A diferencia de la referencia original en Haskell, Metacarp compila a C y cuenta con un backend LLVM que permite la compilación JIT (Just-In-Time) y sesion
El compilador de Rust ha estabilizado oficialmente el tipo never, denotado por el símbolo de exclamación (!), el 24 de agosto tras más de dos años de desarrollo. Esta característica, utilizada internamente por el compilador durante mucho tiempo, permite marcar funciones que nunca retornan y optimiza
Borland fue durante más de una década la compañía de software más admirada por los programadores profesionales, hasta que se consumió en una crisis interna que nada tuvo que ver con Microsoft. Todo comenzó en noviembre de 1983, cuando Philippe Kahn colocó un único anuncio en la revista Byte para ven
Las funciones anidadas son una extensión histórica del lenguaje C en GCC que permite definir una función dentro del cuerpo de otra. Este artículo analiza en detalle el mecanismo interno que emplea el compilador para que una función an acceda a las variables de su función padre. La pieza clave es una
Vidact es un compilador en fase beta que lee componentes funcionales de React en el momento de la build y genera el código DOM equivalente en JavaScript nativo. El cuerpo del componente se ejecuta una sola vez, durante el montaje; las llamadas posteriores a setState solo actualizan los nodos de text
ExactTeX es un superconjunto gradual de LaTeX desarrollado por Camilo Chaves que añade anotaciones opcionales sobre archivos .tex para que el compilador pueda comprobar referencias, detectar identificadores mal escritos y señalar incoherencias antes de imprimir el PDF. Renombrar un archivo de .tex a
El proyecto HEIR (Homomorphic Encryption Intermediate Representation) es un compiler de código abierto desarrollado por Google que traduce programas convencionales a versiones capaces de ejecutarse directamente sobre datos cifrados. Gracias al cifrado homomórfico (HE), el servidor que ejecuta el mod
Mojo, lenguaje orientado al cálculo de alto rendimiento, introduce un tipo de puntero bruto con un comportamiento singular: puede ser seguro o inseguro según la operación que se le aplique, en lugar de exigir variantes separadas como hace Rust. Esta dualidad es posible gracias al modelo de propiedad
CobaltC es un lenguaje de programación de sistemas, estáticamente tipado, diseñado para ofrecer un equilibrio estricto entre control de bajo nivel y seguridad de memoria sin necesidad de recolección de basura por trazado. La especificación define conceptos como propiedad explícita, destrucción deter
Este artículo describe los problemas técnicos que surgieron al construir gren-format, un formateador de código para el lenguaje Gren, y las decisiones de diseño adoptadas para resolverlos. Como Gren todavía está en evolución, el formateador no tiene un analizador sintáctico propio: reutiliza el pars
En el compilador MLIR, un pase de fusión puede generar un atributo NaN durante el constant folding aunque todos sus operandos partan de valores válidos, lo que termina propagando un resultado numéricamente inválido al runtime y degradando métricas de precisión mucho más adelante, sin que el fallo se
Fuzzing del compilador de Gleam: búsqueda de bugs con programas aleatorios estructurados Un desarrollador independiente ha emprendido una ambiciosa iniciativa para someter al compilador de Gleam, el lenguaje funcional que compila tanto a JavaScript como a Erlang, a un proceso de fuzzing estructura-
Porffor, el compilador experimental de JavaScript a código nativo, entrará en fase alpha el 11 de agosto, según anunció su creador. Para celebrarlo, habrá un encuentro presencial en la sede de PlanetScale en San Francisco, con charla, demostraciones en directo y un RSVP abierto a través de Luma. En
El desarrollador Ned Batchelder ha publicado Calcium, una implementación mínima de un lenguaje de programación diseñada como material didáctico para explicar cómo funcionan internamente lenguajes como Python. El proyecto cabe en unas 300 líneas de código e incluye un tokenizador, un analizador sintá
LLVM 23 reduce el tiempo de compilación un 6,75% en compilaciones -O3, con un descenso del 10,53% en el caso concreto de sqlite3, según los datos del propio proyecto. La mayor parte de la ganancia procede de tres reformas de las tablas hash que LLVM utiliza intensivamente: el paso de sondeo cuadráti
El equipo de Rust ha activado por defecto en el canal nightly el nuevo resolvedor de traits (next-generation trait solver), un componente del compilador desarrollado durante casi cuatro años que cambia por completo la forma de demostrar where-clauses y normalizar tipos asociados. El cambio estará di
Aiki Alpha 2 ya está disponible, etiquetado como v0.4.0-alpha-35 y distribuido desde la página de releases de su repositorio en GitHub. Frente a Alpha 1, que convirtió al lenguaje en algo tangible, Alpha 2 hace explícita su arquitectura: la gramática pasa a ser la única autoridad sobre la superficie
Modular ha publicado en código abierto el compilador y toda la cadena de herramientas del lenguaje de programación Mojo, bajo la licencia Apache 2.0 con excepciones de LLVM. El código ya está disponible en el repositorio de GitHub de la compañía. La apertura llega una semana después de que Mojo alca
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 verano de Lucas Ma, bajo la tutela de Anil Madhavapeddy, giró en torno a una idea ambiciosa: usar el sistema de efectos del lenguaje OCaml, introducido en la versión 5.0, para convertir el propio compilador en una biblioteca bajo demanda, un "servicio de compilación" de larga vida. El reto no es
Jaithon es un lenguaje de programación dinámico con recolección de basura y una máquina virtual de bytecode. Combina la arquitectura de Java con la sintaxis inspirada en Rust, Python y JavaScript, y todo su código está escrito mayoritariamente en sí mismo (es bootstrapped), lo que facilita añadir nu
T3X/0 es un lenguaje de programación procedural, pequeño, portable, estructurado en bloques y recursivo, prácticamente sin tipos. Es el miembro más reciente de la familia T3X. Su sintaxis se parece a Pascal y su semántica a BCPL. El compilador se distribuye de forma libre bajo licencia 0BSD o como d
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
Esta página documenta la historia y las versiones de Turbo Pascal, el compilador de Borland, para los sistemas CP/M, MSX-DOS y MS-DOS. El lenguaje Pascal, creado por Niklaus Wirth en 1970, fue diseñado para la enseñanza de la programación estructurada y sirvió como base para lenguajes posteriores co
Google ha presentado HEIR (Homomorphic Encryption Intermediate Representation), un compilador de código abierto que permite ejecutar modelos de inteligencia artificial directamente sobre datos cifrados. La herramienta, disponible en heir.dev y en un repositorio de GitHub, forma parte de su Private C
Futhark, un lenguaje de programación funcional orientado a la computación paralela en GPU, tradicionalmente prohíbe los arrays irregulares (aquellos cuyos subarrays difieren en tamaño) por motivos de eficiencia de compilación. El blog oficial del proyecto explica cómo los autores proponen sortear es
Esta serie, titulada 'Pérdida, muerte, robots', se propone recorrer todo el código de PyTorch capa por capa hasta que cada línea del día a día deje de ser opaca. La entrada actual, 'El mapa', actúa como índice general: presenta las doce partes que conformarán el recorrido —tensor, autograd, uso diar
Un equipo de investigación independiente ha publicado un artículo en IEEE Xplore que evalúa el flag -fret-clean de OpenBSD, introducido en la versión 7.6 para arquitecturas amd64. La mitigación ordena al compilador LLVM insertar, tras cada instrucción call, un movq que pone a cero la dirección de re
Choral es un lenguaje de programación orientado a objetos diseñado para especificar coreografías, es decir, protocolos multiparte que definen cómo varios roles (los clásicos Alice, Bob, Carol…) deben coordinarse para llevar a cabo una tarea conjunta. Su objetivo es simplificar la construcción de sis
CHICKEN Scheme publica su versión 6.0.0, un salto mayor en el que el núcleo adopta los módulos definidos por el estándar R7RS-small. La representación interna de cadenas pasa a UTF-8, lo que aporta soporte pleno para Unicode, y los blobs se reemplazan por el módulo (chicken bytevector), compatible c
Este capítulo introduce la escritura de macros en Lisp, una herramienta que permite a los programadores crear sus propias abstracciones por encima del lenguaje y la biblioteca estándar. A diferencia de las funciones, las macros operan en tiempo de expansión del código: generan código que después ser
Niko Matsakis presenta una propuesta experimental para reformular el borrow checker de Rust. El objetivo es superar algunas limitaciones del diseño actual (NLL) y, a la vez, mejorar su velocidad de cómputo. Matsakis ya cuenta con un prototipo implementado que supera la suite completa de pruebas de N
El autor documenta una ambigüedad nunca resuelta del estándar C89/C90 sobre las declaraciones implícitas de funciones, una característica del lenguaje eliminada en C99. Explica que, cuando se invoca una función no declarada, el compilador la inserta en el ámbito como extern int () en lugar de produc
El autor describe el proceso de cinco meses para diseñar el sistema de consultas del compilador Krabby, inicialmente planteado con una arquitectura push que acabó descartada. Las principales limitaciones del modelo push eran que, al gestionar referencias pendientes, terminaba siendo un sistema de co
El equipo de desarrollo del lenguaje de programación Rust ha anunciado la activación de Polonius Alpha, una nueva versión del verificador de préstamos (borrow checker), en su canal nightly. El objetivo es estabilizar esta funcionalidad en los próximos meses y, según sus propias previsiones, antes de
Soppo es un lenguaje de programación que adopta la sintaxis de Go y mantiene interoperabilidad total con sus bibliotecas, pero incorpora características de seguridad de tipos y ergonomía que Go no ofrece de forma nativa. Su objetivo es permitir a los desarrolladores introducir el lenguaje de forma g
El compilador Kraid, desarrollado para la pila del driver Panfrost, pasa ya las 800.000 pruebas del Vulkan CTS, incluidos algunos casos en los que el compilador anterior fallaba. La autora, Faith Ekstrand, advierte de que el logro se limita por ahora a los compute shaders: las etapas de vertex y fra
El equipo del lenguaje de programación Rust trabaja en una propuesta para introducir nuevos rasgos que describan de forma explícita qué operaciones son posibles sobre un tipo. Hoy Rust asume que cualquier valor puede moverse en memoria y puede "olvidarse" con `mem::forget`, lo que impide ciertos pat
Un programador ha experimentado añadir al compilador de TypeScript una declaración `defer` inspirada en Go, que retrasa la ejecución de una función hasta que termina la función que la contiene. En Go, este recurso se emplea para vincular la adquisición y la liberación de recursos, por ejemplo al blo
El compilador Futhark, un lenguaje funcional orientado a la generación de código paralelo para GPUs, alcanza por fin la capacidad de aplanar cualquier forma de paralelismo de datos anidado, incluidas las variantes irregulares que hasta ahora quedaban fuera de su alcance. El aplanamiento (flattening)
El proyecto gccrs, que desarrolla un frontend de Rust para el compilador GCC, dedicó la primera mitad de 2026 a intentar compilar el núcleo Linux, un esfuerzo que ha permitido detectar y corregir múltiples fallos en el compilador. Aunque de momento gccrs solo puede manejar programas sencillos y autó
El comité de dirección de GCC, el compilador de referencia del proyecto GNU, ha aceptado la política de contribuciones con inteligencia artificial recomendada por el grupo de trabajo específico. La norma establece que el proyecto declinará toda contribución legalmente significativa que contenga o de
La ingeniería de grafos hace visible el modelo de aplicación al sustituir el flujo de control implícito por relaciones explícitas entre nodos como operaciones, posiciones, riesgo, políticas y enrutamiento. Frameworks como Microsoft Agent Framework y LangGraph describen los flujos de trabajo como gra
Gleam ha publicado la versión 1.18.0 de su compilador y conjunto de herramientas, con mejoras destacadas en el servidor de lenguaje y en la generación de código JavaScript. El servidor de lenguaje incorpora soporte completo para campos de registros: navegación a la definición, búsqueda de referencia
C++26 marca un avance significativo en seguridad del lenguaje. El comité ha abordado la reducción del comportamiento indefinido (UB) tanto en el núcleo del lenguaje como en la biblioteca estándar. La propuesta P3144R2 convierte en error de compilación la eliminación de un puntero a un tipo incomplet
El artículo reflexiona sobre por qué Ruby on Rails encaja tan bien como entrada para un compilador: sus convenciones, pensadas para humanos, aportan a los modelos de IA y a los analizadores estáticos la misma información estructurada que un compilador necesita de forma gratuita. Esa misma propiedad
Andrea, programador novel en Rust, presenta un compilador propio de Markdown a HTML desarrollado tras 12-13 horas de trabajo en su tiempo libre, sin recurrir a herramientas de inteligencia artificial generativa. El proyecto nació como una alternativa minimalista al generador de sitios estáticos Hugo
SBCL, el compilador libre de Common Lisp mantenido por la comunidad, ha publicado cuatro nuevas versiones mensuales (2.6.4, 2.6.5, 2.6.6 y 2.6.7) entre abril y julio de 2026. La novedad más destacada de la versión 2.6.7 es la incorporación del módulo contrib SB-MANUAL, que contiene el manual integra
Un miembro del equipo central de Zig explica en detalle el funcionamiento de la compilación incremental incorporada al compilador del lenguaje, una característica que detecta qué funciones o declaraciones han cambiado desde la última build y recompila únicamente esa parte, insertando los bytes direc
PyTorch, el framework de código abierto desarrollado originalmente por Meta y hoy mantenido por la Linux Foundation, atraviesa una transformación conceptual que redefine su lugar en el ecosistema del aprendizaje profundo: ha dejado de ser únicamente una herramienta de implementación para consolidars
Este artículo explica paso a paso cómo compilar la versión 1.27 del compilador GCC, publicada en 1988 y primera en ofrecer soporte para la arquitectura x86, sobre un sistema Ubuntu de 64 bits moderno. El autor parte del trabajo previo de Mikhail Maltsev, que documentó la compilación de un compilador
scriptc es un compilador experimental, desarrollado por vercel-labs, que traduce código TypeScript ordinario a ejecutables nativos pequeños y rápidos, sin necesidad de Node ni de un motor de JavaScript incluido en el binario. La promesa central es que el mismo TypeScript que se ejecuta sobre Node —t
ast-grep ha abordado una de las tareas más ambiciosas del ecosistema de herramientas para desarrolladores: reescribir en Rust el núcleo en C de Tree-sitter, el framework de análisis sintáctico sobre el que se apoyan numerosos editores y proyectos. El resultado, según publica el autor en un post deta
Weblings es un proyecto que empaqueta toda la cadena de herramientas del compilador de Rust como módulos WebAssembly, de forma que el código fuente puede compilarse y ejecutarse directamente desde el navegador, sin necesidad de un servidor backend. El flujo técnico sigue la ruta rustc → representaci
Fil-C es una implementación de C y C++ que garantiza la seguridad de memoria sin sacrificar la compatibilidad con el código existente, según explicó su creador, Filip Pizlo, en la conferencia Software Should Work 2026. El proyecto nace de la premisa de que los lenguajes seguros —como Rust o los ento
Claude no es un compilador: esa categoría se queda corta. Un compilador traduce código fuente a binario con decisiones precisas y bien acotadas; un modelo de lenguaje, en cambio, opera en muchos niveles a la vez —estrategia de producto, arquitectura, código y código máquina— sin necesidad de reunion
El desarrollador Keno ha presentado en el repositorio oficial de Julia (PR #62334) una propuesta —bautizada UnifiedIR— para reemplazar las aproximadamente diez estructuras de representación intermedia (IR) que el compilador del lenguaje ha acumulado durante la última década. La iniciativa, actualmen
En C++, los tipos de función llevan asociado un «enlace de lenguaje» (language linkage) que puede ser «C++», «C» u otro definido por la implementación. El estándar establece con claridad que dos tipos de función con enlaces de lenguaje distintos son tipos diferentes aunque su firma sea idéntica, pre
minikotlin es un compilador de Kotlin escrito desde cero en C que genera bytecode de WebAssembly GC a mano, sin JVM, sin LLVM, sin Binaryen y sin Gradle. El propio compilador se compila a WASM, de forma que el código fuente entra por un extremo y por el otro sale un módulo .wasm en ejecución, todo d
Las funciones anidadas de C —un caso particular del lenguaje soportado por GCC— han dependido históricamente de un fragmento de código auxiliar llamado trampolín que se genera en tiempo de ejecución sobre la pila. Para poder alojarlo, la pila debía ser ejecutable, algo que choca con una de las medid
clx es un compilador y runtime de Lua multiplataforma que genera ejecutables nativos independientes a partir de código Lua mediante cadenas de herramientas modernas de C++. Su objetivo no es competir por ser la implementación más rápida de Lua en todos los escenarios, sino ofrecer compilación ahead-
Los responsables del lenguaje de programación C3 han publicado la versión 0.8.2, una actualización que describen como "modesta" frente a la 0.8.1, pero que introduce mejoras de ergonomía lingüística, nuevas capacidades de reflexión y un conjunto de arreglos en compilador y biblioteca estándar. Entr
Goeteia es un compilador para un subconjunto de Scheme que se compila a WebAssembly directamente en el navegador. La página donde se presenta es en sí misma una demo viva: el título en 3D es una nube de partículas WebGL cuyas formas, trayectorias y colores se generan desde el código fuente, y cada v
Amber es un lenguaje de programación de tipado fuerte y sintaxis inspirada en ECMAScript que se compila a scripts de Bash. Su objetivo es ofrecer una capa moderna, segura y ergonómica para escribir lógica de shell sin renunciar a la interoperabilidad directa con Bash, lo que lo hace atractivo para t
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
El desarrollador Hajime Hoshi, autor del motor 2D Ebitengine, logró compilar un programa escrito en Go directamente en un binario nativo para Nintendo Switch, sin pasar por WebAssembly como intermediar io. Hasta ahora, su método consistía en transformar el código Go en Wasm y luego en C++; esa vía,
Poly/ML es una implementación del lenguaje de programación Standard ML escrita originalmente en un lenguaje experimental llamado Poly. Desde la versión 4.0 mantiene plena compatibilidad con el estándar ML97 y adopta un enfoque conservador, evitando extensiones incompatibles con la norma, aunque inco
Poly/ML es una implementación del lenguaje de programación Standard ML escrita originalmente en un lenguaje experimental llamado Poly. Desde la versión 4.0 es totalmente compatible con el estándar ML97 y mantiene un enfoque conservador, evitando extensiones incompatibles con la especificación. El pr
Pon es un compilador y runtime nativo para Python 3.14 desarrollado en Rust, descrito por sus autores como el «bun/v8 de Python». A diferencia de CPython, no dispone de intérprete ni bytecode: cada módulo se analiza con el parser de ruff, se reduce a una representación intermedia única (PON IR) y se
Hobbes es un lenguaje de programación fuertemente tipado con un compilador JIT integrado y runtime diseñado para la evaluación dinámica eficiente de expresiones, almacenamiento y análisis de datos. Desarrollado por Morgan Stanley, se integra de forma nativa con aplicaciones C/C++ ofreciendo máximo r
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
Dogesh es un lenguaje de programación interpretado, escrito íntegramente en Python, en el que cada palabra clave está inspirada en la jerga canina. Donde un lenguaje convencional usa print, Dogesh emplea WOOF; input se convierte en BARK; las variables se declaran con SNIFF; los bucles pasan a llamar
El repositorio crustc, publicado en GitHub por FractalFir, contiene una traducción completa del compilador rustc a código C, de modo que puede construirse con GCC y make sin necesidad de rustc como binario anfitrión. El proyecto sirve como demostración pública de cilly, una herramienta en desarrollo
El desarrollador Parsa, autor de un blog técnico sobre compiladores y parsers, relata una sesión de refactorización de su motor de JavaScript escrito en Rust en la que una versión 'estética' de una función del lexer provocaba errores de parseo, mientras que una variante menos elegante funcionaba cor
En su charla en la RustWeek 2026, Laurenz Mädje, mantenedor principal y CTO de Typst, explicó cómo la empresa diseña su lenguaje de marcado y su compilador de forma conjunta para conseguir una previsualización instantánea de documentos grandes. Typst es un sistema de composición tipográfica escrito
Esta entrega recopila las respuestas de varios lectores a la pregunta semanal «¿Qué haces esta semana?», una sección abierta en la que comparten sus proyectos y aficiones en curso. Entre los aportes destaca el de un usuario que compagina su trabajo con la reparación de coches y una rutina creciente
El proyecto Loko Scheme ha publicado la versión 0.13.0 de su compilador optimizador de Scheme, una entrega que corrige errores, mejora el rendimiento y añade nuevas funciones. Los detalles técnicos concretos figuran en el archivo NEWS.md incluido en la distribución. El software genera binarios estát
OxCaml, el superset de OCaml desarrollado por Jane Street, incorpora una función que obliga al compilador a garantizar que una función completa no realiza asignaciones en el heap. Basta con anotar el código con [@zero_alloc]: si cualquier parte del árbol de llamadas reserva memoria, la compilación f
Fusion es un lenguaje de programación orientado a la creación de bibliotecas reutilizables que pueden compilarse de forma nativa a C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript y OpenCL C a partir de un único código fuente. Su objetivo es eliminar la duplicación que supone mantener vers
slisp es un compilador de Lisp escrito en Go que traduce programas Lisp a ensamblador autónomo para plataformas Linux sobre AMD64. El nombre del proyecto admite dos lecturas: «Simple Lisp» (Lisp sencillo) o «Steve's Lisp» (el Lisp de Steve), según prefiera el lector. El repositorio, alojado en GitHu
Mike Pall, responsable de LuaJIT, ha abierto el issue #1475 en el repositorio oficial del proyecto como punto central para definir las extensiones de sintaxis que incluirá la futura versión 3.0 del compilador. El hilo funcionará como documento vivo: la descripción recoge la propuesta inicial y un co
LispE es un intérprete de Lisp implementado en C++ que resuelve la vieja tensión entre interprete y compilador mediante una idea central: cada instrucción del lenguaje se modela como una subclase de una clase raíz llamada Element, y la evaluación se reduce a un único método virtual eval(), uniforme
Fil-C, una variante de C y C++ con seguridad de memoria desarrollada por pizlonator, incorpora compatibilidad con ensamblador inline manteniendo las garantías de seguridad. La función, aún en fase preliminar y no incluida en el lanzamiento 0.679, requiere compilar desde el código fuente. El proyect
Este artículo es un tutorial paso a paso para construir un intérprete de Scheme (un dialecto de Lisp) utilizando Python. El texto parte de la premisa de Steve Yegge según la cual, si no se sabe cómo funcionan los compiladores, no se entiende de verdad cómo funcionan los ordenadores, y aplica esa ide
Microsoft anunció esta semana la Release Candidate (RC) de TypeScript 7, una versión que marca un antes y un después para este superset de JavaScript: por primera vez, el compilador completo ha sido reescrito en Go, abandonando la implementación original en TypeScript que compilaba a JavaScript. El
Free Oberon es un entorno de desarrollo integrado (IDE) multiplataforma para el lenguaje de programación Oberon, descendiente directo de Pascal y Modula-2. Diseñado en el clásico estilo pseudográfico de la famosa pantalla azul de Pascal, está disponible para Windows, macOS y Linux. Incluye un compil
El programador gráfico Jiayin Cao desarrolló Tiny Shading Language (TSL), un lenguaje de sombras personalizado para su renderizador SORT, en cuatro meses. La motivación detrás de este proyecto incluyó el aprendizaje profundo del proceso de compilación, la flexibilidad para modificar el código y la n
El programador Mark Shinwell (seudónimo bajo el alias «No Marks Shinwell were harmed») ha presentado un puerto completo del runtime de OCaml, escrito originalmente en C, a Rust. El proyecto, llamado rustcaml y disponible en GitHub, se realizó con asistencia de Claude Code (modelo Opus 4.7) y consist
Blaise, el compilador y lenguaje de programación mantenido por Graeme Geldenhuys, alcanza la versión 0.10.0 en fase alpha, descrita por su autor como la mayor entrega del proyecto hasta la fecha. La actualización introduce cuatro novedades principales. En primer lugar, el paréntesis vacío `()` pasa
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
Mach es un lenguaje de programación compilado y de tipado estático creado para ser un lenguaje de sistemas, aunque puede aplicarse a una amplia variedad de usos. El proyecto, alojado en GitHub bajo la cuenta octalide/mach, se encuentra en fase alpha y los autores advierten de que habrá cambios incom
El Consejo Directivo de Python ha anunciado que el compilador experimental justo a tiempo (JIT) integrado en CPython debe formalizarse mediante un PEP de tipo Standards Track en un plazo de seis meses o, de lo contrario, su código será retirado de la rama principal. El órgano agradeció a los desarro
Este artículo analiza paso a paso cómo reducir el tamaño de un ejecutable ELF en x86-64 compilado con GCC partiendo de un programa mínimo que simplemente devuelve 0 al sistema. El autor, mediante una serie de iteraciones con banderas del compilador y código ensamblador inline, consigue reducir el bi
Los experimentos de Go son funcionalidades que el equipo de Go incorpora en sus lanzamientos para obtener retroalimentación real antes de consolidarlas. Pueden presentarse como paquetes nuevos en la biblioteca estándar, cambios en el compilador o el runtime, e incluso modificaciones de comportamient
Blorp es un nuevo lenguaje de programación diseñado para combinar la seguridad y expresividad de los lenguajes modernos con el rendimiento nativo de C. Compila directamente a C, lo que permite que el código Blorp se ejecute con una eficiencia cercana a la del código C escrito a mano. Sus principales
El creador del compilador Kefir C ha anunciado el fin del desarrollo público del proyecto, que pasará a modo privado por tiempo indefinido. La decisión, comunicada en una entrada personal, responde a la falta de sostenibilidad del proyecto, el bajo retorno de inversión (incluyendo aspectos no moneta
Chibil es un compilador del lenguaje C desarrollado en C# que genera código intermedio de .NET (MSIL). Está basado en chibicc, un compilador minimalista de C, pero reescrito por completo en C# y adaptado para producir archivos objeto COFF compatibles con los que genera el compilador MSVC en modo /cl
El equipo de desarrollo de Ruby ha implementado un nuevo asignador de registros en ZJIT (Just-In-Time compiler) para optimizar el rendimiento de la ejecución de código. Esta mejora es relevante porque la gestión eficiente de los registros de la CPU es crucial, ya que estos son mucho más rápidos que
Un nuevo dialecto de macro-ensamblaje llamado 'Riscrithm' ha sido desarrollado para simplificar el desarrollo en RISC-V. Este lenguaje actúa como un puente entre la legibilidad de un lenguaje de alto nivel y el control directo del hardware, compilando directamente a ensamblador RISC-V puro. Los desa
El artículo de lemon.rip explora un problema fundamental en el desarrollo de software en C: la dificultad de crear código que sea verdaderamente compatible con el estándar ISO C y que funcione de manera consistente en diferentes compiladores y sistemas operativos. La realidad es que la mayoría del c
Este artículo de Paul Khuong explora una técnica innovadora para implementar máquinas virtuales basadas en stack, utilizando SBCL (Steel Bank Common Lisp) como plataforma de experimentación. La idea central es aprovechar un stack muy pequeño (solo 8 ranuras) para evitar el movimiento de datos durant
Mercury es un lenguaje de programación lógico y funcional que representa un enfoque innovador en el mundo de los lenguajes de programación. Desarrollado originalmente con un enfoque en la programación lógica, Mercury combina la claridad y expresividad de la programación declarativa con capacidades a
Phel 0.36.0 es una versión mayor del lenguaje de programación funcional que compila a PHP, introduciendo capacidades fundamentales que amplían significativamente su poder expresivo. Entre las adiciones más relevantes se encuentran lasfirst-classVars, que permiten tratar las variables como valores de
El borrador final del estándar C++26 ha sido completado, según anunció Herb Sutter, experto en C++ y ex presidente del comité de estándares ISO C++. Esta nueva versión introduce cambios significativos que buscan modernizar y mejorar el lenguaje. Entre las novedades más destacadas se encuentra la imp
JSIR (JavaScript Intermediate Representation) es una nueva herramienta de Google, ahora de código abierto, que representa JavaScript a un nivel más bajo que el Abstract Syntax Tree (AST) tradicional, pero aún lo suficientemente alto como para ser comprensible y manipulable. En esencia, JSIR busca ll
La ISO C++ Committee ha finalizado el trabajo técnico de C++26 tras una reunión celebrada en Londres (Croydon, Reino Unido) el pasado sábado. Este hito marca la culminación de un proceso que involucró a aproximadamente 210 asistentes de 24 países, tanto presenciales (130) como remotos (80). C++26 se
Un nuevo asignador de memoria llamado 'Spaces' ha sido desarrollado para Linux x86-64, ofreciendo una alternativa a malloc con características avanzadas para un control más preciso de la memoria. Spaces, disponible como un único archivo de código fuente, permite la creación de regiones de memoria ex
Intel ha lanzado Device Modeling Language (DML), un lenguaje específico de dominio diseñado para crear modelos de dispositivos rápidos y funcionales para plataformas virtuales. DML simplifica la creación de modelos de dispositivos al ofrecer abstracciones de alto nivel, como bancos de registros, int
Este artículo técnico explora una peculiaridad en el sistema de tipos de Rust y cómo un intento de emular tipos de orden superior (HKTs) llevó a un error de desbordamiento en la evaluación de requisitos de traits, causando que el compilador fallara. El autor, en su intento de crear un lenguaje de sc
Este artículo explora una propuesta para mejorar la convención de llamada en Rust, especialmente en arquitecturas x86, y cómo esto impacta la eficiencia del código generado. La convención de llamada define cómo se pasan los argumentos a las funciones y cómo se devuelven los valores, y la actual conv
La comunidad de desarrolladores de Go debate la inclusión de una característica 'try' para el manejo de errores, similar a la que existe en lenguajes como Zig y Rust. Actualmente, Go requiere una estructura verbosa `if err != nil` para verificar errores, lo que ha generado frustración entre algunos
Un nuevo framework de Python llamado Copapy ha sido desarrollado para facilitar la computación en tiempo real determinista y de baja latencia en sistemas embebidos. Inspirado en frameworks de IA como PyTorch y JAX, Copapy busca ofrecer la flexibilidad de Python con el rendimiento de código máquina o
Un nuevo lenguaje de programación llamado ROX ha sido desarrollado con el objetivo de priorizar la claridad sobre la comodidad. Creado por Taman-Islam y disponible en GitHub, ROX busca eliminar las complejidades inherentes a muchos lenguajes, como conversiones implícitas, operadores sobrecargados y
