Isolde - Skill d’ingénierie des systèmes Rust AI

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 à coups de .clone() et d’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 circonscrit et étroitement justifié, la vérification des abstractions sans coût, 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 où les performances ou la sûreté mémoire sont critiques.

Fonctionnalités clés

• Corrige la conception de la propriété signalée par une erreur du borrow checker au lieu de recourir d’abord à .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 démontré et précisément énoncé.
• Limite chaque bloc unsafe à la plus petite région possible et énonce l’invariant sur lequel il repose avant sa mise en production.
• Vérifie qu’une abstraction est réellement sans coût 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 AI), puis décrivez votre problème d’ingénieur systèmes Rust. Compatible avec Claude, ChatGPT et toute conversation avec une AI. Installation en moins de 2 minutes.