13 noticias
El lenguaje Odin incorpora un ensamblador inline diseñado desde cero, no añadido como un parche sobre una cadena de texto. A diferencia de las soluciones de GCC, Clang o Rust —basadas en plantillas de texto y restricciones tipo DSL—, el sistema de Odin trata el ensamblador como plantillas asm invoca
λλ 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 artículo describe técnicas para construir autómatas finitos deterministas y no deterministas en el lenguaje de programación Forth, centrándose en una metodología que mantiene una correspondencia uno a uno entre la definición y la tabla de estados del autómata. Frente al enfoque tradicional basado
El operador sizeof de C admite dos formas de operando: una expresión unaria o un nombre de tipo entre paréntesis. Una estrategia intuitiva de análisis sintáctico consiste en mirar si hay paréntesis de apertura y, si los hay, intentar leer un nombre de tipo; si falla, se devuelven los paréntesis al f
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
Un compilador de memoria es la herramienta que traduce parámetros de diseño (profundidad, anchura, número de puertos) en un macro de SRAM listo para fabricar, incluyendo todas las vistas que necesitan los flujos de verificación e implementación de chips. A diferencia de un compilador tradicional que
Una investigación个人 sobre las peculiaridades del C de K&R (pre-ANSI) revela diferencias notables con el lenguaje estandarizado que se enseña hoy. El autor, tras leer la primera edición de "The C Programming Language", el documento de razonamiento de C89 y el código del compilador de Unix 7ª edición,
Fil-C es una convención de llamada optimizada diseñada para garantizar seguridad de memoria incluso cuando los programas se comportan de manera adversarial. En esencia, previene errores graves como pasar argumentos de tipos incorrectos, convertir punteros de función a firmas equivocadas, o mezclar s
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
Lisette es un nuevo lenguaje de programación diseñado para ser sintácticamente similar a Rust pero con un runtime de Go. Su objetivo principal es ofrecer una alternativa que combine la seguridad y expresividad de Rust con la interoperabilidad y el ecosistema maduro de Go. Esto se logra a través de u
Este artículo explora una técnica prometedora para mejorar la calidad del código generado por modelos de lenguaje grandes (LLMs) como Claude y Codex: el uso de 'oráculos ejecutables' para restringir sus grados de libertad. Actualmente, los LLMs pueden generar código impresionante en tareas muy espec
## Lenguaje Ensamblador Tipado (TAL): Un Puente Seguro entre Lenguajes de Alto Nivel y Hardware ¿Qué es y por qué es importante? En el mundo del desarrollo de software, especialmente en áreas críticas como sistemas operativos, kernels móviles y aplicaciones que requieren una seguridad extrema, la
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
