18 noticias
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
deft es un módulo para el lenguaje de programación Janet que añade comprobaciones de tipo opcionales aplicables en tiempo de ejecución, en compilación o con anticipación (ahead-of-time). El proyecto aplica los principios del tipado gradual descritos por Siek y Taha, junto con el cálculo de culpa (bl
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
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
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
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
En C moderno, la palabra clave auto permite declarar variables con tipo inferido, pero su análisis sintáctico encierra ambigüedades que enfrentan a GCC y Clang en sentidos opuestos. Cuando en un ámbito interno existe un typedef con el mismo nombre que el identificador de la declaración, ambos compil
Futhark es un lenguaje de programación funcional orientado a la computación paralela sobre arrays. Su comprobador de tipos, sin embargo, ha sido durante años una de las piezas más complejas de mantener, y el autor del lenguaje narra en esta entrada la evolución completa que ha desembocado en un redi
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
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
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
Este artículo explora el proceso de inferencia de variables de tipo en TypeScript, un aspecto complejo pero crucial para comprender cómo el lenguaje asigna tipos a variables definidas en funciones. El artículo detalla las reglas y fases del proceso, comenzando con la 'Colección de Candidatos', donde
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
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
Un nuevo análisis revela que los verificadores de tipos de Python tienen dificultades para manejar contenedores vacíos, lo que genera diferentes enfoques con implicaciones para la seguridad de tipos y la experiencia del desarrollador. Cuando una función crea un contenedor vacío (como una lista o dic
Este documento de Julia Language ofrece consejos prácticos para optimizar el rendimiento del código Julia. El objetivo principal es ayudar a los desarrolladores a escribir código más rápido y eficiente. La optimización en Julia se centra en evitar problemas comunes que ralentizan la ejecución, como
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
