Vai al contenuto
Tecnologia

Rust

Rust — Tecnologia. svantaggio_SDD: Borrow Checker vs natura probabilistica LLM · ruolo: Linguaggio target; safe Rust trasforma UAF/double-free/fuite in errori di compilazione, pulizia automatica via Drop (RAII); ~4 % di codice unsafe dopo il porting

In undici giorni, tra il 3 e il 14 maggio 2026, Jarred Sumner ha migrato Bun da Zig a Rust: 535.496 righe di Zig riscritte sotto un'impalcatura di circa 50 workflow dinamici in Claude Code. Il motivo era una singola classe di bug, use-after-free, double-free e leak prodotti mescolando la memoria a garbage collection di JavaScriptCore con memoria gestita manualmente. In Rust sicuro quei fallimenti emergono come errori di compilazione, e la pulizia spetta a `Drop` e al RAII. Per Sumner si tratta di un ciclo di feedback migliore di una guida di stile.

Kent Beck ha incontrato il lato opposto della stessa proprietà. Costruendo BPlusTree3 in 110-130 ore, si è arenato sul modello di ownership di Rust e sulla complessità crescente che produceva, poi ha fatto scrivere il codice prima in Python e tradurlo letteralmente in Rust dal Remote Agent di Augment per riuscire a riprendere il lavoro. Un report di ricerca del gennaio 2026 sull'adattabilità dei linguaggi allo Spec Drive Development classifica Rust come ad alto attrito per lo stesso motivo: il Borrow Checker si scontra con l'output probabilistico degli LLM, e i cicli di correzione che ne risultano costano token e tempo.

Rust compare anche come substrato di scelta ovunque il coordinamento sia il collo di bottiglia: Home Mixer e Thunder nello stack di raccomandazione di X che xAI ha rilasciato open source il 15 maggio 2026, e il relay Nostr dietro Buzz di Block. La garanzia e l'attrito sono un unico meccanismo visto da due estremità. Dopo il porting di Bun, circa il 4% del codice è `unsafe`, e 19 regressioni sono state corrette dopo il merge.

Tipo
Tecnologia
svantaggio_SDD
Borrow Checker vs natura probabilistica LLM
ruolo
Linguaggio target; safe Rust trasforma UAF/double-free/fuite in errori di compilazione, pulizia automatica via Drop (RAII); ~4 % di codice unsafe dopo il porting
relazioni
7
Citata in
2 fiches

Vicinato

BPlusTree3 Home Mixer Bun Buzz efficacité du flux S… Zig

← utilizza

BPlusTree3 TECHNOLOGIE affidabilità alta stabile Fonte ↗
Home Mixer TECHNOLOGIE affidabilità alta stabile Fonte ↗
Bun TECHNOLOGIE affidabilità alta stabile Fonte ↗
Buzz TECHNOLOGIE affidabilità alta dinamico Fonte ↗

→ riduce

efficacité du flux SDD (friction élevée) CONCEPT affidabilità alta atemporale Fonte ↗

→ sostituisce

Zig TECHNOLOGIE affidabilità alta stabile Fonte ↗

Citata in (2)