36 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
El canal educativo No Boilerplate ha publicado en YouTube un vídeo de casi quince minutos titulado 'Rust: Don't Panic', en el que defiende que escribir código que nunca falla es más sencillo en Rust que en cualquier otro lenguaje. La grabación, de carácter didáctico y técnico, se plantea como una pr
Un programador ha experimentado añadir al compilador de TypeScript una declaración `defer` inspirada en Go, que retrasa la ejecución de una función hasta que termina la función que la contiene. En Go, este recurso se emplea para vincular la adquisición y la liberación de recursos, por ejemplo al blo
Este artículo explica cómo las continuaciones permiten escribir una sola versión de la lógica de negocio que funcione con distintos tipos de efectos: síncronos, fallibles o asíncronos. Parte de un ejemplo con una función fetch que recibe una clave y devuelve un valor: una versión devuelve directamen
El debate sobre la responsabilidad de registrar errores lleva años dividiendo a las comunidades de desarrollo. Una corriente defiende que las aplicaciones registran y gestionan los errores, mientras que las bibliotecas deben limitarse a propagarlos de forma estructurada, enriqueciéndolos con context
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
El lenguaje de programación Rust hace especial hincapié en la corrección del código, lo que puede resultar pesado durante la fase de desarrollo, cuando el programador quiere avanzar por el camino feliz sin detenerse en cada rama de error. Este artículo describe varias técnicas que permiten rebajar e
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
Un reciente informe de error en APT, que reportaba fallos de TLS en sistemas FIPS por errores de MD5, ha destapado un problema sistémico en el ecosistema de software que usa OpenSSL: la costumbre generalizada de invocar ERR_clear_error() antes o después de operaciones TLS para silenciar códigos de e
El operador '?' de Rust no puede emplearse dentro de un closure pasado a Iterator::map, porque map espera como salida el tipo del elemento original —en este caso, String— y no un Result ni un Option, por lo que el compilador devuelve E0277 al no estar implementado FromResidual. Para resolver esta si
En Go, prevenir pánicos en producción no empieza con un recover diferido, sino con programación defensiva: validar entradas, límites y punteros antes de desreferenciarlos. Sin embargo, un número creciente de comprobaciones de nil en el código —incluido el generado por IA— suele ser síntoma de que el
Este artículo explora las técnicas para manejar eficientemente los errores de coma flotante en C++. Se abordan métodos como la inspección directa de resultados (verificación de infinito y NaN), el uso de bits de 'sticky' en el registro de estado de coma flotante y la habilitación de 'traps' de hardw
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
Este artículo de divulgación explica el concepto de efectos algebraicos desde cero, dirigido a quienes no tienen formación en lenguajes de programación funcional. El autor parte de la analogía con try/catch para introducir las ideas de `perform` y `handle`, destacando la capacidad de `resume` para r
El artículo explica el error ECONNRESET (Connection reset by peer), un problema común en comunicaciones TCP que ocurre cuando un extremo de la conexión cierra el socket de manera abrupta. El autor presenta un caso detallado: dos servicios en la misma máquina, donde el servidor envía 600.000 bytes al
El error 404, que se traduce como "Página no encontrada", es un mensaje de error estándar en la web que indica que el servidor no pudo localizar la URL solicitada por el usuario. Aunque parece simple, su origen y manejo son cruciales para la experiencia del usuario y la salud de un sitio web, especi
El error 403, que se traduce como “Acceso Denegado”, es un mensaje que te encontrarás al intentar acceder a una página web o una aplicación. En esencia, significa que el servidor ha entendido tu solicitud, pero no está autorizado a cumplirla. A diferencia de un error 404 (página no encontrada), el s
El error 403, que se traduce como "Acceso Denegado", es un mensaje que te encuentras al intentar acceder a una página web o recurso en línea, y que indica que el servidor entiende tu solicitud, pero no está autorizado a cumplirla. No es un problema de conexión (como un error 404, que indica que el r
Este artículo explora un aspecto poco conocido de los números de punto flotante: el valor `NaN` (Not a Number). `NaN` no es simplemente un error; es un valor especial definido por el estándar IEEE 754-2008 para representar resultados indefinidos o no numéricos, como la raíz cuadrada de un número neg
El mensaje de error “403 ERROR” que te muestra Adidas (y potencialmente otras páginas web) es una indicación de que tu solicitud para acceder a un recurso en un servidor fue rechazada. No es un problema con tu dispositivo o conexión a internet, sino una barrera impuesta por el servidor mismo. En tér
El mensaje de error "There was a problem providing the content you requested" que recibiste de ScienceDirect indica un problema técnico que impide la entrega del contenido solicitado. Aunque el mensaje en sí mismo no explica la causa, los datos asociados (número de referencia, dirección IP, agente d
El error 403, que se traduce como “Acceso Denegado”, es un mensaje que te encuentras al intentar acceder a una página web o recurso en línea, y es un problema relativamente común, aunque frustrante. Su importancia radica en que indica que el servidor ha entendido tu solicitud, pero se niega a cumpli
El error 403, que se traduce como "Acceso Denegado", es un mensaje que te encuentras al intentar acceder a una página web o recurso en línea y el servidor te impide hacerlo. El mensaje genérico que ves ("La solicitud no pudo ser satisfecha. Solicitud bloqueada. No podemos conectarnos al servidor par
El mensaje de error "There was a problem providing the content you requested" que has recibido de ScienceDirect, aunque frustrante, es un indicador técnico de un problema interno en su infraestructura. No se trata de un error que puedas solucionar directamente como usuario final, sino de una señal p
El mensaje "Access denied" que has recibido al intentar acceder a ResearchGate (www.researchgate.net) indica que tu solicitud para ver una publicación específica (en este caso, 'Eternity in six hours: Intergalactic spreading of intelligent life and sharpening the Fermi paradox') ha sido bloqueada po
Una nueva versión de OpenJDK 11 introduce opciones de terminación de la Máquina Virtual Java (JVM) para mejorar la depuración y el manejo de errores en entornos de producción. Estas opciones, disponibles a través de flags de runtime, permiten abortar la JVM en situaciones específicas como fallos de
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
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
El software para misiones espaciales enfrenta desafíos únicos que exigen una arquitectura radicalmente diferente a la utilizada en entornos terrestres. A diferencia de los servidores en un centro de datos, donde el rendimiento lento se puede solucionar agregando más recursos, los sistemas espaciales
En el desarrollo de software, es común que los programadores se enfoquen en crear mensajes de registro (logs) pensando en su propia conveniencia para depurar y comprender el estado del programa. Sin embargo, un punto crucial, a menudo pasado por alto, es que la mayoría de los mensajes de registro de
En Go, los errores de contexto cancelado o vencido son comunes, pero a menudo carecen de información crucial sobre la causa subyacente. Esto dificulta la depuración y la respuesta a incidentes en producción. El artículo aborda este problema, introduciendo las funciones `WithCancelCause` (Go 1.20) y
En el desarrollo de software, la gestión de errores es crucial para la experiencia del usuario y la fiabilidad del sistema. Evan Hahn, en su artículo, propone una clasificación fundamental de los errores en dos categorías: **errores esperados** y **errores inesperados**. Esta distinción, aunque apar
La comunidad de desarrolladores de Go debate la inclusión de una característica 'try' para el manejo de errores, similar a la que existe en lenguajes como Zig y Rust. Actualmente, Go requiere una estructura verbosa `if err != nil` para verificar errores, lo que ha generado frustración entre algunos
Este artículo, originalmente escrito en Haskell y ahora adaptado a Rust, introduce un patrón de diseño llamado "Parse, don't Validate" y el diseño impulsado por tipos (Type-Driven Design). La idea central es evitar funciones de validación explícitas y, en su lugar, codificar las restricciones y gara
En el mundo del desarrollo de software, especialmente en sistemas operativos como Linux, los errores son inevitables. Un 'Kernel Oops' es un tipo de error que, a diferencia de un 'Kernel Panic' (que provoca un fallo del sistema), permite que el kernel se recupere. Este artículo explica cómo depurar
Este artículo del blog de srcreigh.ca introduce una técnica innovadora para el manejo de errores en el lenguaje de programación Zig, llamada "Error Payloads". En esencia, Zig permite definir tipos de datos personalizados para representar errores, que incluyen información adicional (el "payload") jun
