Rust
Rust — Technologie. inconvénient_SDD : Borrow Checker vs nature probabiliste LLM · rôle : Langage cible ; safe Rust transforme UAF/double-free/fuites en erreurs de compilation, nettoyage auto via Drop (RAII) ; ~4 % de code unsafe après portage
En onze jours, entre le 3 et le 14 mai 2026, Jarred Sumner a porté Bun de Zig vers Rust : 535 496 lignes de Zig réécrites sous le harnais d'environ 50 workflows dynamiques dans Claude Code. Le motif était une seule classe de bug, use-after-free, double-free et fuites produites par le mélange entre la mémoire gérée par le ramasse-miettes de JavaScriptCore et la mémoire gérée manuellement. En Rust sûr, ces défaillances se manifestent sous forme d'erreurs de compilation, et le nettoyage revient à `Drop` et au RAII. Sumner présentait cela comme une boucle de rétroaction meilleure qu'un guide de style.
Kent Beck a rencontré la face opposée de la même propriété. En construisant BPlusTree3 sur 110 à 130 heures, il s'est retrouvé bloqué par le modèle de possession de Rust et la complexité cumulative qu'il produisait, puis a fait écrire le code d'abord en Python avant de le faire transposer en Rust par le Remote Agent d'Augment pour pouvoir repartir. Un rapport de recherche de janvier 2026 sur l'adéquation des langages au Spec Drive Development classe Rust comme à friction élevée pour la même raison : le Borrow Checker entre en collision avec la sortie probabiliste des LLM, et les boucles de correction qui en résultent coûtent des tokens et du temps.
Rust apparaît aussi comme le substrat choisi partout où la coordination constitue le goulot d'étranglement : Home Mixer et Thunder dans la pile de recommandation de X que xAI a rendue open source le 15 mai 2026, et le relais Nostr derrière Buzz de Block. La garantie et la friction ne sont qu'un même mécanisme vu de ses deux extrémités. Après le portage de Bun, environ 4% du code est en `unsafe`, et 19 régressions ont été corrigées après la fusion.
- Type
- Technologie
- inconvénient_SDD
- Borrow Checker vs nature probabiliste LLM
- rôle
- Langage cible ; safe Rust transforme UAF/double-free/fuites en erreurs de compilation, nettoyage auto via Drop (RAII) ; ~4 % de code unsafe après portage
- relations
- 7
- Citée dans
- 2 fiches
Voisinage
← utilise
→ réduit
→ remplace