14 noticias
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
Katharos es una biblioteca de Python que combina abstracciones algebraicas —Functor, Applicative, Monad, Semigroup y Monoid— con tipos de datos inmutables y un modelo de concurrencia por paso de mensajes, todo bajo una misma idea: modelar errores, efectos y comunicación concurrente como valores comp
El lenguaje C++ ha apostado durante años por las enumeraciones con operadores bitwise para representar banderas (bitflags), un patrón habitual en C y replicado en otros lenguajes. La propuesta P4313, basada en la reflexión de C++26, define cómo activar esa sintaxis sobre un enum, pero su autor sosti
En el desarrollo de software, la mantenibilidad del código es crucial, y Rust ofrece herramientas para mejorarla. Una de ellas es el destructuring exhaustivo, que consiste en desestructurar explícitamente todos los campos de una estructura en lugar de usar el patrón '..' para ignorar los no utilizad
SQLite permite, desde su versión 3.37.0 (publicada en noviembre de 2021), añadir la palabra clave STRICT al final de una sentencia CREATE TABLE para obtener una tabla estricta. Esta característica, a menudo infravalorada, refuerza la integridad de los datos y elimina una clase habitual de errores pr
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
Este artículo de Justin Le inaugura una serie en tres partes dedicada a explorar el extremo más sofisticado del sistema de tipos de Haskell. El objetivo es construir un lenguaje de expresiones tipado embebido (un EDSL) que permita especificar un programa una sola vez y reutilizarlo de varias formas:
Los ataques de cross-site scripting (XSS) y de inyección SQL comparten el mismo origen: mezclar entradas del usuario con la representación serializada de una estructura de árbol, como el árbol sintáctico de una consulta SQL o el DOM del HTML. El artículo explica por qué las recomendaciones habituale
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 defiende la centralización del manejo de errores en aplicaciones Rust mediante un enum AppError personalizado. Explica el uso de map_err para interceptar errores externos e impl From para la conversión automática, eliminando el código repetitivo y manteniendo la seguridad de tipos en s
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
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 de DBOS.dev explora cómo construir una biblioteca de flujos de trabajo en Go que se sienta natural y familiar para los desarrolladores de Go, abordando las limitaciones inherentes al lenguaje en este tipo de tareas. El desafío principal radica en combinar la potencia de Go (soporte par
## 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
