Rust
Rust — Tecnología. inconveniente_SDD: Borrow Checker vs naturaleza probabilística LLM · rol: Lenguaje destino; safe Rust convierte UAF/double-free/fugas en errores de compilación, limpieza automática vía Drop (RAII); ~4 % de código unsafe tras la migración
En once días, entre el 3 y el 14 de mayo de 2026, Jarred Sumner migró Bun de Zig a Rust: 535,496 líneas de Zig reescritas bajo un arnés de unos 50 flujos de trabajo dinámicos en Claude Code. El motivo fue una única clase de error, use-after-free, double-free y leaks producidos al mezclar la memoria gestionada por el recolector de basura de JavaScriptCore con memoria gestionada manualmente. En Rust seguro esos fallos se manifiestan como errores de compilación, y la limpieza queda a cargo de `Drop` y RAII. El planteamiento de Sumner fue que esto constituye un bucle de retroalimentación mejor que una guía de estilo.
Kent Beck se encontró con la cara opuesta de la misma propiedad. Al construir BPlusTree3 durante 110 a 130 horas, se quedó atascado en el modelo de propiedad de Rust y la complejidad acumulativa que generaba, y entonces hizo escribir el código primero en Python para que el Remote Agent de Augment lo transliterara a Rust y así poder avanzar de nuevo. Un informe de investigación de enero de 2026 sobre la idoneidad de los lenguajes para el Spec Drive Development califica a Rust como de alta friccion por la misma razón: el Borrow Checker choca con la salida probabilística de los LLM, y los bucles de corrección resultantes cuestan tokens y tiempo.
Rust también aparece como el sustrato elegido en todos los puntos donde la coordinación es el cuello de botella: Home Mixer y Thunder en la pila de recomendación de X que xAI liberó como código abierto el 15 de mayo de 2026, y el relay de Nostr detrás de Buzz, de Block. La garantía y la fricción son el mismo mecanismo visto desde dos extremos. Tras la migración de Bun, alrededor del 4% del código es `unsafe`, y se corrigieron 19 regresiones tras la fusión.
- Tipo
- Tecnología
- inconveniente_SDD
- Borrow Checker vs naturaleza probabilística LLM
- rol
- Lenguaje destino; safe Rust convierte UAF/double-free/fugas en errores de compilación, limpieza automática vía Drop (RAII); ~4 % de código unsafe tras la migración
- relaciones
- 7
- Citada en
- 2 fiches
Vecindario
← utiliza
→ reduce
→ reemplaza