111 noticias
El artículo argumenta que la investigación en lenguajes de programación (PL) no está en declive, sino que entra en una nueva era de exploración impulsada por la inteligencia artificial. El autor, un investigador de la academia, critica la narrativa de crisis existencial que circula en la comunidad a
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 proyecto Sweetener introduce macros para TypeScript, una herramienta que permite a los desarrolladores definir constructos de lenguaje personalizados, rompiendo con la tradición de lenguajes de programación rígidos. Este enfoque responde a la creciente flexibilidad del software moderno, donde las
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
El artículo propone un conjunto de directrices fundamentales para el diseño de nuevos lenguajes de programación y sus sistemas de configuración, argumentando que estas decisiones deben tomarse desde el inicio para evitar problemas de compatibilidad y usabilidad. El autor destaca la importancia de re
Investigadores presentan C*, una extensión del lenguaje C que incorpora de forma nativa capacidades de verificación formal, con el objetivo de acercar las prácticas de demostración de correctitud a los programadores de sistemas. El trabajo, publicado en arXiv el 3 de abril de 2025, aborda una de las
# Julia 1.13 llega con grandes mejoras de rendimiento y nuevas funciones en la REPL El ecosistema de programación científica ha recibido una actualización significativa con el lanzamiento de Julia 1.13. Esta nueva versión no solo se centra en la expansión de funcionalidades, sino que ataca uno de l
Gleam Gathering 2027 es la próxima edición de la conferencia dedicada al lenguaje de programación Gleam, que se celebrará el sábado 27 de febrero de 2027 en el centro de Londres, en el espacio de eventos 44 Hallam St. La organización ha abierto la convocatoria para proponer charlas, dirigida tanto a
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 inferencia de tipos —la capacidad de un compilador de deducir automáticamente el tipo de una variable a partir de una asignación, sin que el programador lo declare— se ha convertido en una característica estándar en los lenguajes modernos. Go, Rust, Swift, Scala, Kotlin, Zig o Nim la incluyen de
Python Iceberg es un recopilatorio didactico de comportamientos del lenguaje Python que parecen evidentes a primera vista pero esconden resultados inesperados. La pagina reune, en formato de fichas breves, decenas de casos donde la sintaxis habitual produce errores sutiles o directamente fallos de s
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
La irrupción de los modelos de lenguaje grandes está cambiando los criterios con los que los desarrolladores eligen un lenguaje de programación. Históricamente, la familiaridad con la sintaxis y las peculiaridades de cada lenguaje suponía una barrera de entrada importante, pero los agentes basados e
Racket es un lenguaje de la familia Lisp nacido en 1995 como PLT Scheme en el grupo de Matthias Felleisen y rebautizado en 2010. Su apuesta diferencial es la programación orientada al lenguaje: si un problema exige su propia sintaxis, Racket permite definirla en cuestión de horas. El artículo recorr
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
Russ Cox, responsable principal del desarrollo de Go durante una década, explica que el lenguaje nació en 2007 para responder a los problemas de ingeniería de Google: grandes bases de código, miles de ingenieros, redes de máquinas y procesadores multinúcleo. Go fue diseñado desde cero para mejorar l
El lenguaje C no solo es un estándar sintáctico: es todo un ecosistema de herramientas, compiladores, analizadores estáticos y soporte multiplataforma consolidado durante décadas. Sustituirlo exige que la alternativa aporte mejoras tangibles que justifiquen rehacer la cadena de producción. Este artí
El eterno debate en programación sobre si la biblioteca estándar de un lenguaje debe ser mínima o exhaustiva está mal planteado, según argumenta el programador Alex Kladov (matklad). La pregunta relevante no es cuánto código incluye, sino qué tan bien está diseñado y mantenido por el equipo responsa
La irrupción de los modelos de lenguaje agénticos está replanteando qué se entiende por "código" dentro del ciclo de vida del software. Hasta ahora el código era el producto final de la ingeniería de software; sin embargo, los LLM ya pueden generarlo de múltiples formas a partir de una especificació
El artículo "Gauguin, Descartes, Bayes: A Diurnal Golem's Brain" fue publicado en las actas del symposium Onward! '25, organizado por ACM SIGPLAN y celebrado en el marco de SPLASH 2025. Se trata de un texto de investigación incluido en la categoría "Research-article" que, según el índice de términos
Ramsey Nasser, diseñador de juegos, artista y educador, sostiene que toda herramienta de programación moderna exige conocimientos de inglés, lo que perpetúa una ventaja cultural difícil de justificar. En su charla, presentada como respuesta al artículo seminal de Alan Kay de 1972 «A Personal Compute
Un desarrollador con siete años de experiencia en Rust relata su transición a Zig al reimplementar en este lenguaje la librería jsonpath-rust, un procesador del lenguaje de consulta JSONPath definido en RFC 9535. El nuevo proyecto, llamado zig-jsonpath, le sirvió como banco de pruebas para comparar
λλ es un lenguaje de programación diseñado específicamente para programar interruptores fotónicos de silicio, un tipo de hardware óptico usado en centros de datos de alta velocidad y en computación analógica en red. Su elemento diferenciador es un sistema de tipos lineales que codifica las restricci
El programador y divulgador Al Sweigart ha publicado en su blog una amplia recopilación de anécdotas, fallos y conceptos decisivos en la historia de la informática y el desarrollo de software. La lista parte del célebre comentario de Tony Hoare sobre la invención de la referencia nula como su «error
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
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
Writergate es el nombre informal con el que la comunidad de Zig bautizó la profunda reforma de la interfaz de entrada y salida del lenguaje, iniciada a finales de 2023 y culminada en agosto de 2025 con la eliminación completa de GenericWriter, GenericReader, AnyWriter y AnyReader. El cambio afecta a
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
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
Este artículo explica por qué un programador veterano de Common Lisp elige ese lenguaje como destino del código que genera con un modelo de lenguaje, en lugar de recurrir a opciones más populares como Python, TypeScript o Java. La tesis central es que la popularidad de un lenguaje es un mal indicado
Modular ha presentado este martes Mojo 1.0, la primera versión estable del lenguaje de programación que la compañía desarrolla desde 2023 y que utiliza como base de su infraestructura comercial MAX y Modular Cloud. El lanzamiento, incluido en la versión Modular 26.5, marca un punto de inflexión: a p
El desarrollo de software atraviesa un cambio de paradigma: las herramientas de IA generan grandes bloques de código, pero los humanos siguen siendo responsables de revisarlos, depurarlos, definir la arquitectura y garantizar la fiabilidad del sistema. En este nuevo escenario, la productividad de un
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
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,
La idea de que los lenguajes de programación dinámicos y "densos" —como Clojure o J— son mucho más eficientes en tokens para los grandes modelos de lenguaje (LLMs) de lo que lo son lenguajes estáticos como Rust, C++ o Go lleva años circulando en blogs y respuestas de inteligencia artificial. Sin emb
Un artículo preprint publicado en arXiv propone dos combinadores de biblioteca sobre miniKanren para trasladar la enumeración ascendente (bottom-up) con deduplicación observacional —técnica habitual en los sintetizadores relacionales programa-a-ejemplo (PBE)— al ámbito de la programación lógica rela
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
A partir de la versión 1.98, disponible el 20 de agosto de 2026, Rust incorpora un conjunto de operadores aritméticos «algebraicos» para números en coma flotante que indican al compilador que puede reordenar y reagrupar las operaciones aplicando las propiedades habituales del álgebra real. Hasta aho
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
Richard Feldman, desarrollador y creador del lenguaje Roc, pronuncia en la conferencia Software Should Work 2026 la charla "Cultures of dependencia", centrada en las prácticas que las distintas comunidades de programación han consolidado en torno al uso de código de terceros. La grabación, de casi 4
Este ensayo sostiene que los lenguajes de programación deben entenderse, ante todo, como herramientas de autoría para plataformas, y no únicamente como productos académicos definidos por su paradigma o su sistema de tipos. La argumentación se organiza en torno a tres preguntas: por qué se crea un le
Eat Your Greens (EYG) es un lenguaje de programación funcional y tipado estáticamente cuyo objetivo declarado es servir a los creadores aficionados, no a los desarrolladores profesionales. Su autor, un ingeniero que lo concibió mientras esperaba un visado para Suecia, parte de una observación: mucha
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
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
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
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
AP8L es un lenguaje de programación inspirado en APL e integrado dentro de PICO-8, la consola virtual de creación de juegos. No es totalmente compatible con APL/360, aunque reproduce casi todas sus capacidades y adopta principios modernos como el indexado por eje principal (leading-axis). El entorn
La 29ª edición del ICFP Programming Contest comenzó el 24 de julio de 2026 y se extenderá durante 72 horas. El concurso es organizado por el equipo que lidera eieio (junto con Frank Chiarulli, Henry Nelson y Eliot Hedeman), quienes han trabajado durante meses en su diseño. La principal novedad de es
Andrew Kelley, creador del lenguaje de programación Zig, pronunció la charla «Don't Take the Black Pill» en el evento Software Should Work (SSW) 2026, un encuentro dedicado a reflexionar sobre el papel del software en la sociedad. La intervención, de 35 minutos, parte de la sensación generalizada de
El estándar ISO 3166-1 alpha-2 asigna un código de dos letras a cada país y a varias dependencias territoriales (como ME para Montenegro o EU para la Unión Europea). Resulta que muchas de esas dos letras coinciden con extensiones de archivo usadas por lenguajes de programación, lenguajes de dominio
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
Lisp no es un único lenguaje, sino una familia con más de veinte dialectos que comparten una sintaxis fundamental pero divergen en operadores, bibliotecas y capacidades. Esta guía, primera entrega de una serie, ayuda a principiantes a superar la indecisión inicial: cualquier dialecto enseña los conc
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
Solod (So): un subconjunto estricto de Go que compila a C En un ecosistema saturado de nuevos lenguajes de programación que prometen ser "como Go pero con más características" o "como Rust pero más simples", Solod (So) irrumpe con una propuesta radicalmente diferente: no añade complejidad, sino que
El concepto de puntero nulo resulta conceptualmente extraño si se examina más allá de su función de seguridad: se trata de un único valor insertado dentro de un tipo puntero que, en lugar de almacenar una dirección, transmite información semántica distinta según el contexto. En C suele señalar un er
Temper es un lenguaje de programación concebido desde el origen para traducirse de forma limpia a otros lenguajes, lo que permite compartir definiciones de tipos ricas y lógica de negocio entre ecosistemas distintos. Sus funciones y tipos se convierten en funciones y tipos convencionales, sin interf
La computación científica arrastra desde hace décadas un dilema conocido como el problema de los dos lenguajes: los investigadores prototipan en Python por su facilidad, pero reescriben las partes críticas en C++ o Rust para ganar rendimiento, porque Python resulta demasiado lento. En 2012, cuatro c
El programador Rodrigo Girão Serrão inicia una serie de artículos en los que documenta paso a paso la construcción de un intérprete para el lenguaje APL escrito en Python. El proyecto, inspirado en la serie «Let's build a simple interpreter» de Ruslan Spivak (centrada en Pascal), nace como un ejerci
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
Andrew Kelley, creador del lenguaje Zig y presidente de la Zig Software Foundation (ZSF), publica una larga reflexión sobre la decisión de Jarred Sumner, responsable de Bun, de reescribir el proyecto en Rust tras la adquisición de Bun por Anthropic. Kelley relata la evolución de su relación con Sumn
A pesar de los repetidos anuncios de su defunción, Fortran sigue siendo, casi siete décadas después de su creación, el lenguaje de referencia para aplicaciones científicas y de ingeniería a gran escala y masivamente paralelas en supercomputadores. Ningún lenguaje moderno —ni C ni C++— compite con él
Rust dispone de múltiples estrategias para tratar errores en una función: provocar un pánico con `expect`, devolver un `Option<T>`, retornar un `Result<T, E>` enriquecido con contexto, o recuperar la ejecución sustituyendo el valor fallido por uno por defecto (por ejemplo, `unwrap_or(0)`). Esta últi
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
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
Este artículo muestra cómo un guion pequeño y elegante puede inflarse hasta perder su forma original cuando se añaden controles para los casos de fallo. El autor parte de un script que recibe un identificador por argumento, lee un token desde setup.json y descarga un PDF desde una API remota; lo esc
Rhombus es un lenguaje de programación reciente que combina la potencia de la metaprogramación de Racket con una sintaxis sencilla inspirada en Python, basada en indentación y el delimitador ":". Su núcleo se distribuye bajo licencia MIT o Apache 2.0 y se ejecuta sobre el runtime de Racket, lo que l
Counterexamples in Type Systems es una obra de referencia compilada por Stephen Dolan —con colaboraciones reconocidas de Andrej Bauer, Leo White y Jeremy Yallop— que reúne treinta y un contraejemplos cuidadosamente seleccionados para ilustrar los puntos delicados, las trampas y las excepciones de lo
En este ensayo, el autor replantea su postura sobre el papel de los lenguajes de programación ante el auge de la inteligencia artificial. Aunque durante años sostuvo que los lenguajes no marcarían grandes diferencias —alineándose con la idea del "no silver bullet" de Fred Brooks—, una experiencia co
Dos correos electrónicos enviados por Alan Kay —aclamado coinador del término «object-oriented programming»— a Stefan Ram en julio de 2003 arrojan luz sobre el sentido original de la orientación a objetos. En el primero, fechado el 23 de julio, Kay sitúa la primera mención pública del concepto hacia
Ante es un lenguaje de programación de sistemas que apuesta por una idea ambiciosa: integrar el conteo de referencias y el borrow checking sin renunciar a la seguridad en tiempo de ejecución. En la práctica, eso significa que un programador puede declarar tipos compartidos y mutables con la palabra
Los guards de Elixir permiten componer comprobaciones con los operadores booleanos `and` y `or`, pero su comportamiento difiere del esperado cuando se invierte el orden de las cláusulas. La entrada analiza un módulo de ejemplo con dos funciones, `Foo.a/1` y `Foo.b/1`, cuyas guardas son idénticas sal
Sale a la luz la segunda edición de "The Garbage Collection Handbook: The Art of Automatic Memory Management", obra de referencia en el ámbito de la gestión automática de memoria que actualiza y amplía las ediciones previas de 1996 y 2012. Editada por Richard Jones y otros autores, la nueva versión
Los lenguajes de programación dominantes obligan a los desarrolladores a expresar ideas geométricas de dominio específico únicamente mediante texto lineal. Un artículo reciente propone una solución: lenguajes híbridos que permitan crear construcciones sintácticas visuales combinables con el código t
Rhombus es un lenguaje de programación de propósito general, funcional, dinámico y extensible que acaba de alcanzar su versión 1.0. Está construido sobre Racket, del que hereda herramientas como el entorno DrRacket y la suite de línea de comandos raco, y se activa simplemente iniciando un módulo con
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
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
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
NimConf 2026, la conferencia anual de la comunidad del lenguaje de programación Nim, se celebrará el sábado 20 de junio de 2026 a las 11:00 UTC en formato totalmente en línea, con emisión gratuita en abierto desde el canal de YouTube de la organización. La edición de este año incorpora como principa
Wolfram ha presentado la versión 15 de su Wolfram Language y de Mathematica, casi 38 años después del lanzamiento de la versión 1.0 el 23 de junio de 1988. La nueva entrega incorpora funcionalidades nativas de inteligencia artificial, así como un volumen significativo de nuevas funciones en el núcle
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
El documental 'C++: The Documentary' se estrenó hoy en YouTube con un recorrido por los 40 años de historia del lenguaje de programación C++, desde su creación en los laboratorios Bell de AT&T a manos de Bjarne Stroustrup hasta su actual adopción global. El filme reúne a figuras clave del lenguaje y
El artículo argumenta que SQL es el único lenguaje de programación que un desarrollador puede aprender una vez y usar durante décadas sin necesidad de reescribir su modelo mental. La razón, explica el autor, es que SQL se sostiene sobre el álgebra relacional, una rama de las matemáticas que no tiene
Tras un mes utilizando Clojure para reconstruir su sitio web personal, el autor comparte sus impresiones sobre el lenguaje y por qué piensa seguir con él. El autor se acercó a Clojure esperando la sintaxis engorrosa que suele asociarse a los dialectos de Lisp, pero en la práctica lo encontró más er
El equipo de Elixir ha publicado la versión 1.20 del lenguaje de programación, que incorpora un sistema de tipado gradual sin necesidad de añadir anotaciones de tipo. Se trata del primer hito de desarrollo del proyecto de tipos, iniciado en 2022, que convierte a Elixir en un lenguaje gradualmente ti
En un panorama de lenguajes de programación cada vez más complejos, Janet se presenta como una propuesta singular: un pequeño dialecto de Lisp que combina simplicidad, potencia expresiva y portabilidad. Este artículo del autor del libro 'Janet for Mortals' —publicado en abierto— defiende por qué cua
En el marco de la Agenda 2030 de la ONU, la eficiencia energética del software ha dejado de ser un lujo para convertirse en una necesidad crítica para reducir la huella de carbono global. Este artículo, titulado "The Green Side of the Lua", explora cómo las decisiones de arquitectura de software, es
Este issue reporta un error de 'Undefined Behavior' (comportamiento indefinido) en el código de Bun, un runtime de JavaScript/TypeScript escrito en Rust. El error específico es un 'dangling reference' (referencia colgante), que ocurre cuando se intenta acceder a memoria que ya ha sido liberada. El p
Flightsim es un proyecto de código abierto que implementa un simulador de vuelo básico en 3D. Se trata de una demostración práctica del lenguaje de programación Spectre, creada por el desarrollador navid-m, que permite experimentar con la física de vuelo de una manera sencilla y accesible. El proyec
Este artículo compara la experiencia de trabajar con R y Kap, dos lenguajes de programación, especialmente en el contexto del análisis de datos. El punto de partida es un artículo que critica la 'torpeza' de Pandas, la biblioteca de análisis de datos de Python, al compararla con R. El autor, familia
El proyecto 'Jubbly' explora una idea innovadora en diseño de lenguajes de programación, enfocada en simplificar y mejorar la forma en que se realizan las reasignaciones de valores, especialmente en estructuras de datos complejas. Tradicionalmente, en muchos lenguajes, asignar un nuevo valor a una v
Este artículo explora una idea inusual: usar CSS como un lenguaje de consulta o incluso como un lenguaje de programación general, más allá de su función principal de diseñar páginas web. La pregunta central es por qué alguien querría hacer esto, dado que CSS es notoriamente complejo y existen lengua
Este artículo explora un concepto fundamental en el desarrollo de software: los "ur-lenguajes" (lenguajes ancestrales). La idea central es que, aunque existen miles de lenguajes de programación, muchos comparten patrones básicos de construcción y organización, agrupándose en familias o "ur-lenguajes
Este artículo de Allison Kaptur, ingeniera de Dropbox, explora Byterun, un intérprete de Python escrito en Python. El objetivo principal es desmitificar el funcionamiento interno de un intérprete, demostrando que su estructura fundamental puede caber en un código relativamente corto (menos de 500 lí
El autor ha estado buscando el lenguaje de programación perfecto durante años, frustrado por las limitaciones de opciones populares como F#, TypeScript y C#. Si bien Rust ofrece un gran potencial, su curva de aprendizaje y complejidad (relacionada con la gestión de memoria y el sistema de tipos) han
Este artículo explora una optimización interesante en el lenguaje de programación K, específicamente relacionada con la eliminación de una técnica llamada 'raze'. K es un lenguaje de programación de matriz (array language) conocido por su concisión y expresividad. El problema que aborda el autor, Ch
Este artículo explora el significado y la utilidad de la función ⍋⍋ en el lenguaje de programación APL, un tema que inicialmente parecía carecer de sentido según Paul Mansour. Aunque inicialmente se considera inútil (equivalente a una versión más lenta de otra función), el artículo revela una aplica
El artículo de Sumato AI introduce Spath y Splan, dos nuevas herramientas diseñadas para mejorar la eficiencia y la calidad de los agentes de codificación basados en IA. Tradicionalmente, la programación ha estado intrínsecamente ligada al sistema de archivos, lo que implica una estructura jerárquic
## memo: Un Entorno de Programación Fluido y Experimental memo es un entorno de programación inusual, descrito como un "entorno de codificación de flujo de conciencia". En esencia, se trata de un lenguaje de programación experimental que prioriza la continuidad y la espontaneidad sobre la estructur
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 narra la controvertida introducción del 'walrus operator' (:=) en Python 3.8, un evento que llevó a la renuncia de Guido van Rossum, el creador y líder de facto del lenguaje durante tres décadas. ¿Qué es y por qué es importante? El walrus operator es una nueva forma de asignar valore
Este artículo explora las limitaciones de los sistemas de tipos en lenguajes de programación dinámicos, utilizando como ejemplo la propuesta de una función `Map.take!/2` en Elixir. `Map.take/2` es una función existente en Elixir que extrae un subconjunto de claves de un mapa, ignorando las claves in
El artículo argumenta que Go es el lenguaje de programación ideal para trabajar con agentes de IA, basándose en la experiencia del autor en el desarrollo de herramientas de ETL como Bruin. Aunque Python ha sido tradicionalmente popular en el ecosistema de datos, Go ofrece ventajas significativas en
Este artículo del blog explora cómo Dada, un nuevo lenguaje de programación, aborda el manejo de referencias y permisos de una manera innovadora, superando las limitaciones de Rust. Dada introduce un sistema de permisos basado en 'lugares' (places) en lugar de 'tiempos de vida' (lifetimes), lo que s
A lo largo de la historia de la informática, una promesa recurrente ha impulsado la innovación: la de simplificar la creación de software, reducir costos y, en última instancia, eliminar la necesidad de programadores. Este ciclo, que se repite desde la década de 1960, se manifiesta hoy con la irrupc
Rust: Una herramienta útil pero no mágica El lenguaje de programación Rust, celebrado durante una década como el más admirado según las encuestas de Stack Overflow, no es la solución mágica que algunos defienden. Así lo aseguran dos voces del sector tecnológico que, desde perspectivas distintas, ad
ClojureStream es una plataforma integral diseñada para el aprendizaje y la comunidad en torno a los lenguajes de programación Clojure, ClojureScript y Datalog. En un mundo donde la curva de aprendizaje de nuevas tecnologías puede ser empinada, ClojureStream se presenta como un recurso estructurado y
Este artículo explora una peculiaridad en la comunidad de programación: la tendencia a juzgar y elegir lenguajes basándose en su sintaxis de declaración, a menudo sin considerar la semántica subyacente. El autor, un desarrollador de Odin, argumenta que la sintaxis es, en gran medida, superficial y f
Este artículo aborda una pregunta común entre los desarrolladores de lenguajes de programación: ¿deberían usar un sistema de tipos Hindley-Milner (HM) o Bidireccional (Bidir)? La respuesta, según el autor, no es tan simple como elegir entre dos opciones mutuamente excluyentes. La verdadera pregunta
El artículo del blog 'The Clean Code' explora una tendencia preocupante en el desarrollo de lenguajes de programación modernos, específicamente Swift y Kotlin. Ambos lenguajes, aunque con orígenes distintos (Swift derivado de Objective-C y Kotlin de Java), comparten una marcada inclinación hacia la
## 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
