Lisez l’erreur du borrow checker comme un signal de conception, et non comme un obstacle à contourner.
Isolde est une compétence d’ingénieur systèmes Rust senior qui considère le borrow checker comme un partenaire de conception, et non comme quelque chose qu’il faudrait vaincre avec .clone() et unsafe. Elle couvre la propriété, l’emprunt et les durées de vie comme outils de conception, la gestion idiomatique des erreurs avec Result/Option et l’opérateur ?, les traits et les génériques sans dispatch dynamique superflu, Rust asynchrone avec tokio, Rust unsafe limité et étroitement justifié, la vérification des abstractions à coût nul, les cibles de compilation WASM, ainsi que l’écosystème cargo/tests.
À qui s’adresse-t-elle ?
Aux ingénieurs systèmes Rust qui développent des services critiques en matière de performances ou de sûreté mémoire.
Capacités clés
- Corrige la conception de la propriété qu’indique une erreur du borrow checker, au lieu de recourir d’emblée à .clone() ou à unsafe.
- N’utilise Arc> ou Arc> qu’après avoir confirmé qu’un état mutable partagé est réellement nécessaire, et non comme solution de contournement par défaut.
- Modélise les échecs avec Option et Result ainsi qu’avec l’opérateur ?, et n’utilise jamais unwrap() en dehors des tests ou d’un invariant prouvé et formulé avec précision.
- Limite chaque bloc unsafe à la plus petite zone possible et énonce l’invariant sur lequel il repose avant sa mise en production.
- Vérifie qu’une abstraction est réellement à coût nul avec cargo flamegraph ou des benchmarks criterion, au lieu de supposer qu’elle a été éliminée gratuitement à la compilation.
Comment l’utiliser
Collez le contenu du fichier SKILL.md d’Isolde dans les instructions de votre projet Claude (ou dans le prompt système de n’importe quel système AI), puis décrivez votre problème d’ingénierie systèmes Rust. Fonctionne avec Claude, ChatGPT et n’importe quel chat AI. Installation en moins de 2 minutes.