software · 10 menciones
Los arrays en C son una fuente común de confusión para desarrolladores debido a su comportamiento híbrido entre tipos de datos y punteros. Técnicamente, un array `T[n]` representa una secuencia contigua de valores en memoria, pero en la práctica se 'decomponen' (decay) en punteros `T*` en casi todas
Este artículo profundiza en la verdadera naturaleza de las pruebas basadas en propiedades (Property-Based Testing o PBT), más allá de la definición superficial de 'propiedades' y 'generadores'. La idea básica es que PBT combina propiedades (condiciones que deben cumplirse para todas las entradas pos
Este artículo del blog de HaskellForAll aborda una recomendación de estilo para la construcción de registros (tipos de datos) en Haskell: priorizar la notación `do` sobre los operadores `Applicative` (como `<$>` y `<*>`). Aunque ambos métodos son válidos, la notación `do` ofrece ventajas significati
Este artículo de Alex Edwards, extraído de su libro sobre desarrollo web en Go, aborda las convenciones de nomenclatura en el lenguaje Go. Una buena nomenclatura es crucial para la legibilidad, mantenibilidad y predictibilidad del código. Aunque Go permite nombres técnicamente válidos (usando unicod
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
Una reciente aclaración en el estándar C++26, relacionada con el acceso a uniones, evita un posible comportamiento indefinido (UB). El problema surgió en un ejemplo del nuevo `std::is_within_lifetime`, que inicialmente parecía generar UB al acceder a un miembro inactivo de una unión (`c`) cuando el
Este artículo del blog de xnacly.me explora la implementación de sentencias `match` (similares a `switch` en otros lenguajes) en un nuevo lenguaje de programación llamado Purple Garden. El objetivo es proporcionar una alternativa a las largas cadenas `if-if-else`, mejorando la legibilidad y la estru
Un desarrollador ha creado un compilador de Rust escrito en PHP que genera ejecutables ELF para Linux x86-64 directamente, sin necesidad de LLVM, ensamblador o enlazador. Esta solución inusual permite compilar código Rust en entornos con recursos limitados, como servidores compartidos con PHP instal
C++26 introduce `std::is_within_lifetime`, una nueva función para realizar comprobaciones de validez de objetos en tiempo de compilación. Esta función, incluida en el encabezado `<type_traits>`, determina si un puntero apunta a un objeto que está dentro de su vida útil durante la evaluación constant
CruxLabx ha lanzado MOL, un nuevo lenguaje de programación diseñado específicamente para simplificar el desarrollo de pipelines de Inteligencia Artificial (IA) y Retrieval-Augmented Generation (RAG). MOL aborda las complejidades del desarrollo de IA al introducir operadores de pipeline nativos (|>),
